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