TY - BOOK AU - 5th International Conference, AMAST'96, Munich, Germany Wirsing, July 1-5, 1996, AU - Wirsing, Martin., ed. AU - Nivat, Maurice., ed. TI - Algebraic methodology and software technology - Proceedings T2 - Lecture Notes in computer science SN - 354061463X U1 - 005.131 PY - 1996/// CY - New York PB - Springer-Verlag ER -