| [BBC93] | G. Beauquier, J. Berstel, and P. Chrétienne, Éléments d'algorithmique. Masson, 1993. |
| [Eil72] | S. Eilenberg, Automata, Languages and Machines, vol. A. New York: Academic Press, 1972. |
| [Eil76] | S. Eilenberg, Automata, Languages and Machines, vol. B. New York: Academic Press, 1976. |
| [HU79] | J. E. Hopcroft and J. D. Ullman, Introduction to Automata Theory, Languages and Computation. Addison-Wesley, 1979. |
| [Per90] | D. Perrin, Finite automata, in Handbook of Theoretical Computer Science (J. van Leeuwen, ed.), vol. B, chapt. 1, pp. 1-57, Elsevier, 1990. |
| [Pin86] | J.-É. Pin, Variétés de Langages Formels. Masson, 1984. |
| [Sak03] | J. Sakarovitch, Éléments de théorie des automates. Vuibert, 2003. |
| [Str94] | H. Straubing, Finite Automata, Formal Logic and Circuits Complexity. Progress in theoretical computer science, Birkhäuser, 1994. |
| [TB73] | B. Trachtenbrot and Y. Barzdin, Finite Automata. North Holland, 1973. |
| [PP04] | D. Perrin and J.-É. Pin, Infinite Words. Elsevier, 2004. |