Biernacki, D.; Danvy, O. A Simple Proof of a Folklore Theorem about Delimited Control. BRICS 2005, 12.