%O Report 
%F kozen2008a
%A Kozen, Dexter
%T On the Coalgebraic Theory of {K}leene Algebra with Tests
%I Computing and Information Science, Cornell University
%U http://www.diku.dk/hjemmesider/ansatte/henglein/papers/kozen2008.pdf
%8 March
%D 2008
%K algexp
%K  coinduction