(1)
Damian, D.; Danvy, O. A Simple CPS Transformation of Control-Flow Information. BRICS 2001, 8.