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

by A Gordon, G Rees
Venue:In Proc. of POPL’96