On the algebraic structure of rooted trees (1978)

by C C Elgot, S L Bloom, R Tindell
Venue:J. Comput. System Sci