-J.L. Fiadeiro (Ed.): Recent Trends in Algebraic Development Techniques. Proceedings 1998, Springer-Verlag 1999