Hélène Kirchner Trees in Algebra and Programming - CAAP'96, 21st International Colloquium, Linköping, Sweden, April, 22-24, 1996, Proceedings CAAP Lecture Notes in Computer Science 1059 Springer 1996 3-540-61064-2 db/conf/caap/caap96.html