M. Arnold and . Nivat, Comportements de processus, Colloque AFCET " les mathématiques de l'informatique, pp.35-68, 1982.

J. Autebert and L. Boasson, Transductions rationelles [Be 79] J. Berstel Transductions and context-free languages Courcelle Graph rewriting: an algebraic and logic approach, Handbook of TCS, Ca 96] D. Caucal On transition graphs having a decidable monadic theory, pp.1-133, 1979.

S. Ginsburg and S. A. , Greibach Mappings which preserve context sensitive languages, Information and Control 9, pp.563-582, 1966.

J. E. Hopcroft and J. D. , Ullman Introduction to automata theory, langages and computation, pp.1-284, 1979.
DOI : 10.1145/568438.568455

T. Knapik and E. , Payet Synchronization product of Linear Bounded Machines, LNCS, vol.1684, pp.362-373, 1999.

D. Muller and P. , The theory of ends, pushdown automata, and second-order logic, Theoretical Computer Science, vol.37, pp.51-75, 1985.
DOI : 10.1016/0304-3975(85)90087-8