ISBN 354061463X books & textbook
Algebraic Methodology and Software Technology: 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings (Lecture Notes in Computer Science, 1101)
Wirsing, Martin Nivat, Maurice
Springer /1996-06-19 Paperback / 660 Pages
isbn-10: 354061463X / isbn-13: 9783540614630