An object-oriented denotational semantics of a small programming language

Jin Song Dong, Roger Duke, Gordon A. Rose. An object-oriented denotational semantics of a small programming language. Object Oriented Systems, 4:29-52, 1997. [doi]

Bibliographies