Bisimilarity for a first-order calculus of objects with subtyping (1996)

by A D Gordon, G D Rees
Venue:In Proc. 23th POPL