Danforth and Tomlinson (1988)
Danforth S. and Tomlinson C. (1988)
Type theories and object-oriented programming
ACM Computing Surveys 20(1), pp. 30-72