1. J. Berstel and C. Reutenauer. Les séries rationelles et leurs langages. Masson, Paris, 1984. English translation: Rational Series and Their Languages, volume 12 of Monographs in Theoretical Computer Science. An EATCS Series. Springer, 1988.
2. Monographs in Theoretical Computer Science. An EATCS Series;S.L. Bloom,1993
3. J.R. Büchi. On a decision method in restricted second order arithmetic. In Proc. Int. Congr. Logic, Methodology and Philosophy of Science, 1960. pages 1–11. Stanford University Press, Stanford, 1962.
4. J.H. Conway. Regular Algebra and Finite Machines. Chapman & Hall, London, 1971.
5. M. Droste and W. Kuich. Semirings and formal power series. In this Handbook, chapter 1. Springer, Berlin, 2009