Proceeding on trees in algebra and programming - Astesiano E Ed.; Colloquium on trees in algebra and programming (1981 : Genoa); Bohm C Ed. (Berlin Springer-verlag, 1981)