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