K. Jensen, “Connection between Dijkstra’s Predicate-Transformers and Denotational Continuation-Semantics”, DPB, vol. 7, no. 86, Jan. 1978.