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

by Luca Cardelli, Peter Wegner
Venue:ACM computing surveys