William R. Cook: A denotational semantics of inheritance. Brown University, USA 1989