-J.A. Bergstra/L.M.G. Feijs (Eds.): Algebraic Methods II: Theory, Tools and Applications, Springer-Verlag 1991