Predicate transformers and higher-order programs

Soundness of data refinement for a higher-order imperative language

Theoretical Computer Science

A categorical model for higher order imperative programming

Mathematical Structures in Computer Science

Category Theoretic Models of Data Refinement

Electronic Notes in Theoretical Computer Science (ENTCS)

Object-orientation in the UTP

UTP'06 Proceedings of the First international conference on Unifying Theories of Programming