Thomas Noll Heiko Vogler The Universality of Higher-Order Attributed Tree Transducers. 45-75 2001 34 Theory Comput. Syst. 1 http://link.springer.de/link/service/journals/00224/contents/00/10018/ db/journals/mst/mst34.html#NollV01