Halbert and O'Brien (1987)
Halbert D. and O'Brien P. (1987)
Using types and inheritance in object-oriented programming
IEEE Software 4(5), pp. 71-79