Trees in algebra and programming - CAAP'96 : 21st international colloquium, Linköping, Sweden, April 22-24, 1996 : proceedings - Kirchner, Hélène (Lecture notes in computer science ;, 1996)