A semantics of multiple inheritance. Semantics of data types (1984)

by L Cardelli