Cook, William
-
DAIMI Report Series No. 284 (1989): PB-284 A Denotational Semantics of Inheritance and its Correctness - Articles
A Denotational Semantics af Inheritance and its Correctness
Abstract PDF -
DAIMI Report Series No. 577 (2005): PB-577 A Virtual Class Calculus - Articles
A Virtual Class Calculus
Abstract PDF