Subclassing �� subtyping �� is-a (1991)

by W LaLonde, J Pugh
Venue:Journal of Object-Oriented Programming