Cardelli and Wegner (1985)

Cardelli L. and Wegner P. (1985)

On understanding types, data abstraction and polymorphism

ACM Computing Surveys 17(4), pp. 472-522