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