Ingrid Rewitzky, Chris Brink: Monotone Predicate Transformers as Up-Closed Multirelations. RelMiCS 2006: 311-327