-M. Wirsing/J.A. Bergstra (Eds.): Algebraic Methode: Theory, Tools, and Applications, Springer-Verlag 1989