A Semantics of Multiple Inheritance Luca Cardelli 138-164 Inf. Comput. February/March 1988 76 2/3 db/journals/iandc/iandc76.html#Cardelli88