Kim B. Bruce The Equivalence of Two Semantic Definitions for Inheritance in Object-Oriented Languages. 102-124 1991 conf/mfps/1991 MFPS db/conf/mfps/mfps1991.html#Bruce91 http://dx.doi.org/10.1007/3-540-55511-0_5