Biernacki, D., and O. Danvy. “A Simple Proof of a Folklore Theorem about Delimited Control”. BRICS Report Series, vol. 12, no. 25, Aug. 2005, doi:10.7146/brics.v12i25.21892.