Danforth and Tomlinson (1988)

Danforth S. and Tomlinson C. (1988)

Type theories and object-oriented programming

ACM Computing Surveys 20(1), pp. 30-72