On the algebraic structure of rooted trees (1978)

by C C Elgot, S L Bloom, R Tindell
Venue:Journal of Computer and System Sciences