On Understanding Types (1985)

by L Cardelli, P Wegner
Venue:Data Abstraction, and Polymorphism’. ACM Computing Surveys