@book{ BA03441957, author = "Colloquium on Trees in Algebra and Programming and Dauchet, Max and Nivat, Maurice and European Symposium on Programming", title = "CAAP '88 : 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988 : proceedings", publisher = "Springer-Verlag", year = "1988", series = "Lecture notes in computer science", number = "299", URL = "https://ci.nii.ac.jp/ncid/BA03441957" }