Luca Cardelli A Semantics of Multiple Inheritance. 51-67 1984 conf/sdt/1984 Semantics of Data Types db/conf/sdt/sdt1984.html#Cardelli84