Inheritance is not subtyping (1990)

by W Cook, W Hill, P Canning
Venue:Proc. 17th ACM Symp. Principles of Prog. Lang