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 .

354061463X

005.131 /