Samuel N. Kamin Inheritance in Smalltalk-80: A Denotational Definition. 80-87 1988 POPL db/conf/popl/popl88.html#Kamin88