Reasoning about continuation-passing style programs (1992)

by Amr Sabry, Matthias Felleisen
Venue:In LFP '92 -- ACM Symposium on Lisp and Functional Programming