An object-oriented denotational semantics of a small programming language. - Dong, Jin Song; Duke, Roger; Rose, Gordon A. (Object Oriented Syst., 1997)