Predicate transformer semantics /
Manes, Ernest G.
Cambridge : Cambridge University Press,
1992.