Daniel Damian Olivier Danvy A Simple CPS Transformation of Control-Flow Information. 501-515 2002 10 Log. J. IGPL 5 https://doi.org/10.1093/jigpal/10.5.501 db/journals/igpl/igpl10.html#DamianD02