Bisimilarity for a First-Order Calculus of Objects with Subtyping (1996)

by Andrew D. Gordon, Gareth D. Rees
Venue:In Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Programming Languages