The algebraic structure of rooted trees (1978)

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