-H. Ehrig/C. Floyd/M. Nivat/J. Thatcher (Eds.): Mathematical Foundations of Software Development, Proceedings 1985, Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85), Springer-Verlag 1985