References. On Kleene Algebras and Closed Semirings (Kozen, 1990) A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events (Kozen)
