Weak behavioral subtyping for types with mutable objects (1995)

by K K Dhara, G T Leavens
Venue:Mathematical Foundations of Programming Semantics, Eleventh Annual Conference, volume 1 of Electronic Notes in Theoretical Computer Science