ISBN 3540543171 books & textbook
Conditional and Typed Rewriting Systems: 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990. Proceedings (Lecture Notes in Computer Science, 516)
Kaplan, Stephane Okada, Mitsuhiro
Springer /1991-08-07 Paperback / 474 Pages
isbn-10: 3540543171 / isbn-13: 9783540543176
