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