Neumüller, I. 1987. The invertibility of tree transducers. Acta Cybernetica. 8, 1 (Jan. 1987), 63-78.