5th International Conference, AMAST'96, Munich, Germany Wirsing, July 1-5, 1996,
Algebraic methodology and software technology - Proceedings
ed. by Martin Wirsing, Maurice Nivat
- New York Springer-Verlag 1996
- xii, 640p.
- Lecture Notes in computer science 1101 .