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