On Understanding Types, Data Abstraction, and Polymorphism.

Luca Cardelli Peter Wegner On Understanding Types, Data Abstraction, and Polymorphism. 471-522 1985 17 ACM Comput. Surv. 4 db/journals/csur/csur17.html#CardelliW85