-M. Johnson (Ed.): Algebraic Methodology and Software Technology. Proceedings, Springer-Verlag 1997