Daniel C. Halbert Patrick D. O'Brien Using Types and Inheritance in Object-Oriented Languages. 20-31 http://dx.doi.org/10.1007/3-540-47891-4_3 1987 conf/ecoop/1987 ECOOP db/conf/ecoop/ecoop87.html#HalbertO87