"Reasoning with Continuations"

Matthias Felleisen et al. (1986)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics