Bi-directional tree automata - Klappholz, Aaron David (Univ. of Pennsylvania, Diss., 1974, 1974)