A Taxonomy of CPS and DS Translations (1998)

by G Barthe, J Hatclioe, M H Srensen