Cook et al. (1990)
Cook W., Hill W. and Canning P. (1990)
Inheritance is not subtyping
In Proc. ACM Symp. on Principles of Programming Languages