Jensen, Kurt. “Connection Between Dijkstra’s Predicate-Transformers and Denotational Continuation-Semantics”. DAIMI Report Series 7, no. 86 (January 1, 1978). Accessed February 5, 2026. https://tidsskrift.dk/daimipb/article/view/6502.