Subclassing 6= subtyping 6= is-a (1991)

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