The invertibility of tree transducers - Neumüller Imre (1987)