-A.M. Häberer (Ed.): Algebraic Methodology and Software Technology. Proceedings, Springer-Verlag 1999