On understanding types, data abstraction, and polymorphism (1985)

by L Cardelli, P Wegner
Venue:ACM Computing Surveys