"Reasoning about Programs in Continuation-Passing Style."

Amr Sabry, Matthias Felleisen (1993)
a service of Schloss Dagstuhl - Leibniz Center for Informatics