[. 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
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.145.8728

S. Eilenberg, Automata, languages, and machines, Volume A, 1974.

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

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

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

[. Razet, Finite Eilenberg Machines, Research Report, vol.6486, p.2, 2008.
DOI : 10.1007/978-3-540-70844-5_25
URL : https://hal.archives-ouvertes.fr/inria-00257354