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

by Luca Cardelli, Peter Wegner
Venue:Computing Surveys,