O.: An algebraic construction of predicate transformers (1994)

by P H B Gardiner, C E Martin, de Moor
Venue:Science of Computer Programming