%0 Journal Article 
%F sangiorgi2009
%A Sangiorgi, Davide
%T On the origins of bisimulation and coinduction
%J ACM Trans. Program. Lang. Syst
%V 31
%N 4
%P 1-41
%I ACM
%C New York, NY, USA
%U http://www.diku.dk/hjemmesider/ansatte/henglein/papers/sangiorgi2009.pdf
%U http://doi.acm.org/10.1145/1516507.1516510
%D 2009
%K coinduction