N. Dershowitz and Z. Manna, Proving termination with multiset orderings, Communications of the ACM, vol.22, issue.8, pp.465-476, 1979.
DOI : 10.1145/359138.359142

S. Eilenberg and . Automata, Languages and Machines, volume A, 1974.

G. Huet, A functional toolkit for morphological and phonological processing, application to a Sanskrit tagger, Journal of Functional Programming, vol.15, issue.4, 2005.
DOI : 10.1017/S0956796804005416
URL : https://hal.archives-ouvertes.fr/hal-00424306

G. Huet and B. Razet, The Reactive Engine for Modular Transducers, Algebra, Meaning and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday, pp.355-374, 2006.
DOI : 10.1007/11780274_19

X. Leroy, D. Doligez, J. Garrigue, and J. Vouillon, The Objective Caml system. Software and documentation available on the Web, 1996.

B. Razet, Simulating Eilenberg machines with a reactive engine: Formal specification, proof and program extraction, Research Report, vol.6487, p.2, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00257352

E. Roche and Y. Schabes, Finite-state language processing, 1997.