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

by Luca Cardelli, Peter Wegner
Venue:Computing Surveys