Jin Song Dong Roger Duke Gordon A. Rose An object-oriented denotational semantics of a small programming language. 29-52 1997 4 Object Oriented Systems http://www.dcs.kcl.ac.uk/staff/russel/CompSciNet/OO/oo040102.abs.html db/journals/oos/oos4.html#DongDR97