Jean-Claude Raoult: CAAP '92, 17th Colloquium on Trees in Algebra and Programming, Rennes, France, February 26-28, 1992, Proceedings. Lecture Notes in Computer Science 581, Springer 1992, ISBN 3-540-55251-0