Recursive Object Types in a Logic of Object-Oriented Programs

Data groups: specifying the modification of extended state

Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

A Weakest Precondition Semantics for Refinement of Object-Oriented Programs

IEEE Transactions on Software Engineering

A Weakest Precondition Semantics for an Object-Oriented Language of Refinement

FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II

Algebraic reasoning for object-oriented programming

Science of Computer Programming - Special issue on program transformation

Denotational semantics for a program logic of objects

Mathematical Structures in Computer Science

rCOS: a refinement calculus of object systems

Theoretical Computer Science - Components and objects

Denotational semantics for abadi and leino's logic of objects

ESOP'05 Proceedings of the 14th European conference on Programming Languages and Systems