Bisimilarity for a First-Order Calculus of Objects with Subtyping. - Andrew D. Gordon 001; Gareth D. Rees (POPL, 1996)