Biernacki, Dariusz, and Olivier Danvy. 2005. “A Simple Proof of a Folklore Theorem about Delimited Control”. BRICS Report Series 12 (25). https://doi.org/10.7146/brics.v12i25.21892.