An action semantics for inheritance (1988)

by Jens Palsberg