H. Andréka, S. Mikulás, and I. Németi, The equational theory of Kleene lattices, Theor. Comput. Sci, vol.412, issue.52, pp.7099-7108, 2011.

S. L. Bloom, Z. Ésik, and G. Stefanescu, Notes on equational theories of relations. algebra universalis, vol.33, pp.98-126, 1995.

P. Brunet, Reversible Kleene lattices, 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017, vol.83, pp.1-66, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01474911

J. H. Conway, Regular algebra and finite machines, Chapman and Hall Mathematics Series, 1971.

A. Doumane and D. Pous, Completeness for Identity-free Kleene Lattices, of Leibniz International Proceedings in Informatics (LIPIcs), vol.118, pp.1-18, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01780845

D. Kozen, A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events. Information and Computation, vol.110, pp.366-390, 1994.

D. Kozen, Kleene algebra with tests, ACM Trans. Program. Lang. Syst, vol.19, issue.3, pp.427-443, 1997.

D. Krob, Complete systems of B-rational identities, Theoretical Computer Science, vol.89, issue.2, pp.207-343, 1991.

F. W. Levi, On semigroups, Bull. Calcutta Math. Soc, vol.36, p.82, 1944.