A semantics of multiple inheritance (1984)

by L Cardelli
Venue:In Semantics of Data Types