"Representing Control in the Presence of One-Shot Continuations."

Carl Bruggeman, Oscar Waddell, R. Kent Dybvig (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics