A denotational semantics of inheritance and its correctnessWilliam R. Cook, Jens Palsberg|Unknown|1989Cited by 219