%0 Journal Article 
%F bertot2006
%A Bertot, Y.
%T CoInduction in Coq
%J Arxiv preprint cs/0603119
%U http://www.diku.dk/hjemmesider/ansatte/henglein/papers/bertot2006.pdf
%D 2006
%K coinduction