A Semantics of Multiple Inheritance. LNCS 173 The Semantics of Data Types (1984)

by L Cardelli