Davide Ancona, Giovanni Lagorio: Complete coinductive subtyping for abstract compilation of object-oriented languages. FTfJP@ECOOP 2010: 1:1-1:7