S. L. Bloom and Z. Esik, Iteration Theories: The Equational Logic of Iterative Processes. EATCS monographs on theoretical computer science, 1993.

J. H. Conway, Regular Algebra and Finite Machines Chapman and Hall, 1971. 3. Z. ´ Esik. Iteration semirings, DLT, 2008.

Z. Esik, U. Fahrenberg, A. Legay, Z. Esik, U. Fahrenberg et al., Kleene algebras and semimodules for energy problems, ATVA, pp.173-1833, 2002.
URL : https://hal.archives-ouvertes.fr/hal-01087913

Z. Esik, W. Kuich-esik, and W. Kuich, A semiring-semimodule generalization of ?-regular languages , Parts 1 and 2 On iteration semiring-semimodule pairs, J. Aut. Lang. Comb. Semigroup Forum, vol.10, issue.75, pp.203-264129, 2005.

D. Kozen, On kleene algebras and closed semirings, MFCS, 1990.
DOI : 10.1007/BFb0029594

D. Kozen, A completeness theorem for Kleene algebras and the algebra of regular events, [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science, pp.366-390, 1994.
DOI : 10.1109/LICS.1991.151646

D. Krob, A complete system of B-rational identities, TCS, vol.89, issue.2, pp.207-343, 1991.
DOI : 10.1007/BFb0032022
URL : https://hal.archives-ouvertes.fr/hal-00017725

T. Wilke, An Eilenberg theorem for infinity-languages, ICALP, 1991.