Trees in algebra and programming : 6th colloquium, Genoa, March 5-7, 1981 : proceedings - Astesiano, E. (Egidio), 1939-; Böhm, C. (Corrado), 1923- (Lecture notes in computer science, 1981)