"Representing Control in the Presence of First-Class Continuations."

Robert Hieb, R. Kent Dybvig, Carl Bruggeman (1990)
a service of Schloss Dagstuhl - Leibniz Center for Informatics