Biernacki, D., and O. Danvy. “A Simple Proof of a Folklore Theorem about Delimited Control”. BRICS Report Series, vol. 12, no. 10, Mar. 2005, doi:10.7146/brics.v12i10.21876.