Data refinement by miracles

The specification statement

ACM Transactions on Programming Languages and Systems (TOPLAS)

Software Reuse by Specialization of Generic Procedures through Views

IEEE Transactions on Software Engineering

Do Not Read This

FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right

Enforcing behavior with contracts

Programming methodology

The miracle of reactive programming

UTP'08 Proceedings of the 2nd international conference on Unifying theories of programming

Omega algebra, demonic refinement algebra and commands

RelMiCS'06/AKA'06 Proceedings of the 9th international conference on Relational Methods in Computer Science, and 4th international conference on Applications of Kleene Algebra

The linear algebra of UTP

MPC'06 Proceedings of the 8th international conference on Mathematics of Program Construction