Max Dauchet Maurice Nivat CAAP '88, 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988, Proceedings CAAP Lecture Notes in Computer Science 299 Springer 1988 3-540-19021-X db/conf/caap/caap88.html