Kozen. A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events. Elsevier BV, 1994, doi:10.1006/inco.1994.1037.