Bernhard Reus Jan Schwinghammer Denotational semantics for a program logic of objects. 313-358 2006 16 Mathematical Structures in Computer Science 2 http://dx.doi.org/10.1017/S0960129506005214 db/journals/mscs/mscs16.html#ReusS06