Algebraic methodology and software technology : 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996 : proceedings / Martin Wirsing, Maurice Nivat,eds. - Wirsing, Martin; Nivat, Maurice, 1937- (Lecture notes in computer science, 1996)