%0 Journal Article 
%F kozen97c
%A Kozen, Dexter
%T Kleene Algebra with Tests
%J Transactions on Programming Languages and Systems
%V 19
%N 3
%P 427-443
%U http://www.diku.dk/hjemmesider/ansatte/henglein/papers/kozen1997.pdf
%8 May
%D 1997
%K algexp