Preordered Categories and Predicate Transformers (1991)

by C E Martin