-M. Wirsing/M. Nivat (Eds.): Algebraic Methodology and Software Technology, Springer-Verlag Proceedings 1996