Algebraic methodology and software technology : 5th international conference, AMAST '96, Munich, Germany, July 1-5, 1996 : proceedings - Nivat, M.; Wirsing, M. (Martin) (Lecture notes in computer science ;, 1996)