Predicate Transformer Semantics by Ernest G. Manes