Tree automata and adjunct grammars - Levy, Leon S. (1972)