Ingrid Rewitzky Chris Brink Predicate Transformers as Power Operations. 169-182 1995 7 Formal Asp. Comput. 2 db/journals/fac/fac7.html#RewitzkyB95