Jensen, K. “Connection Between Dijkstra’s Predicate-Transformers and Denotational Continuation-Semantics”. DAIMI Report Series, vol. 7, no. 86, Jan. 1978, doi:10.7146/dpb.v7i86.6502.