An Algebraic Construction of Predicate Transformers.

Paul H. B. Gardiner, Clare E. Martin, Oege de Moor

Browse the full MPC paper archive.