Tree Transducers and pushdown machines - Vogler, Heiko (1986)
Twente, Technische Hogeschool, Diss. 1986