Programming Really Is Simple Mathematics

"Object Success" now available

Scenarios versus OO Requirements

Intro to the Theory of Programming Languages: full book now freely available

A full online version of Object-Oriented Software Construction, 2nd edition

Lectures on Software: Distances, Invariants and Recursion

Getting a program right, in nine episodes

Are my requirements complete?

Formality in requirements: new publication

A theorem of software engineering

Soundness and Completeness: With Precision

Domain Theory: the forgotten step in program verification (2012)

Why not program right?

New Paper: Theory of Programs

Lampsort: Leslie Lamport's Non-recursive Quicksort

Bertrand Meyer - Code Matters