1. Marie-Pierre Béal. Codage symbolique. Masson, 1993.
2. Marie-Pierre Béal. Puissance extérieure d'un automate déterministe, application au calcul de la fonction zêta d'un système sofique. R.A.I.R.O.-Informatique Théorique et Applications, 29(2):85–103, 1995.
3. Rufus Bowen. Symbolic dynamics. In On axiom A diffeomorphism, number 35 in CBMS Reg. Conf. American Mathematical Society, 1978.
4. Jean Berstel and Dominique Perrin. Theory of codes. Academic Press, 1984.
5. Jean Berstel and Christophe Reutenauer. Zeta functions of formal languages. Trans. Amer. Math. Soc., 321:533–546, 1990.