Idealized coinductive type systems for imperative object-oriented programsDavide Ancona and Giovanni LagorioRAIRO-Theor. Inf. Appl., 45 1 (2011) 3-33DOI: https://doi.org/10.1051/ita/2011009
