%0 Journal Article 
%F kozen94
%A Kozen, Dexter
%T A Completeness Theorem for {Kleene} Algebras and the Algebra of Regular Events
%J Information and Computation
%V 110
%N 2
%P 366-390
%U http://www.diku.dk/hjemmesider/ansatte/henglein/papers/kozen1994.pdf
%8 May
%D 1994
%K regexp