Paul H. B. Gardiner Clare E. Martin Oege de Moor An Algebraic Construction of Predicate Transformers. 100-121 1992 conf/mpc/1992 MPC db/conf/mpc/mpc92.html#GardinerMM92 http://dx.doi.org/10.1007/3-540-56625-2_10