Algebraic methodology and software technology 5th international conference, AMAST '96, Munich, Germany, July 1-5, 1996 ; proceedings (Springer, 1996)