Reasoning about object-oriented programs that use subtypes (1990)

by G T Leavens, W E Weihl
Venue:In ECOOP/OOPSLA '90 Proceedings