An algebraic construction of predicate transformers (1994)

by P H B Gardiner, C E Martin, O de Moor
Venue:Sci. Comput. Program