NASA NTRS1969Mappings and grammars on treesMappings and grammars on trees for automata theoryRounds, W. C.↗