Neumüller Imre: The invertibility of tree transducers. In: Acta cybernetica, (8) 1. pp. 63-78. (1987)