Joost Engelfriet Heiko Vogler Pushdown Machines for the Macro Tree Transducer. 251-368 1986 42 Theor. Comput. Sci. db/journals/tcs/tcs42.html#EngelfrietV86