CAAP '81 : trees in algebra and programming 6th colloquium : proceedings : GENOA, MARCH 5-7, 1981.. VOL. 112. - Astesiano, Egidio (Springer Verlag, 1981)