%0 Journal Article
%A Ancona, Davide
%A Lagorio, Giovanni
%T Idealized coinductive type systems for imperative object-oriented programs
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 2011
%P 3-33
%V 45
%N 1
%I EDP-Sciences
%U http://www.numdam.org/articles/10.1051/ita/2011009/
%R 10.1051/ita/2011009
%G en
%F ITA_2011__45_1_3_0