Inheritance is not subtyping (1990)

by W R Cook, W L Hill, P S Canning
Venue:In ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages