A.: Representing control: A study of the CPS transformation (1992)

by O Danvy, Filinski
Venue:Mathematical Structures in Computer Science