A Binary Operation on Trees and an Initial Algebra Characterization for Finite Tree Types.

Wolfgang Merzenich A Binary Operation on Trees and an Initial Algebra Characterization for Finite Tree Types. 149-168 1979 11 Acta Inf. db/journals/acta/acta11.html#Merzenich79