Transformations and translations from the point of view of generalized finite automata theory
Proceedings of the first annual ACM symposium on Theory of computing - STOC ’69
Programming Macro Tree Transducers