Cardelli (1984)
Cardelli L. (1984)
A semantics of multiple inheritance
In Semantics of Data Types, Springer LNCS 173, pp. 51-68