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

by L Cardelli, P Wegner
Venue:ACM Computing Surveys