Paul H. B. Gardiner, Clare E. Martin, Oege de Moor. An Algebraic Construction of Predicate Transformers. In Richard S. Bird, Carroll Morgan, Jim Woodcock, editors, Mathematics of Program Construction, Second International Conference, Oxford, U.K., June 29 - July 3, 1992, Proceedings. Volume 669 of Lecture Notes in Computer Science, pages 100-121, Springer, 1992.
Abstract is missing.