A semantics of multiple inheritance”; In: Semantics of Data Types (1984)

by L Cardelli
Venue:Plotkin [Eds.]; Lecture Notes on Comp. Sci. 173