1. A. ARNOLD & M. DAUCHET: "Bitransductions de forêts". Proc. 3rd Conference on Automata Languages and Programming, Edinburg (1976), pp. 74–86.
2. A. ARNOLD & M. DAUCHET: "Sur l'inversion des morphismes d'arbres". Proc. 5th Automata Languages and Programming, Udine, Lectures Notes in Computer Science 62 (1978), pp. 26–35.
3. A. ARNOLD & M. DAUCHET: "Morphismes et bimorphismes d'arbres". T.C.S. 20 (1982), pp. 33–93.
4. W.S. BRAINERS: "Tree-generating regular systems". Inf. and Control 14 (1969), pp. 217–231.
5. J.R. BUCHI: "Regular canonical systems". Arch. Math. Logik Grundlagenforsch 6 (1964), pp. 11–91.