Open menu
Ernest. G. Manes
Predicate Transformer Semantics