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

by G T Leavens, W E Weihl
Venue:In Conference on Object-Oriented Programming Systems, Languages, and Applications and European Conference on Object-Oriented Programming (OOPSLA/ECOOP