Denotational semantics for Abadi and Leino's logic of objects /
Reus, Bernhard.
Schwinghammer, Jan.
University of Sussex.Computer Science.
Brighton : University of Sussex,
2004.
Title from cover.
Includes bibliographical references.