D. Biernacki and O. Danvy, “A Simple Proof of a Folklore Theorem about Delimited Control”, BRICS, vol. 12, no. 10, Mar. 2005.