Jensen, K. Connection Between Dijkstra’s Predicate-Transformers and Denotational Continuation-Semantics. DPB 1978, 7.