Reasoning about programs in continuation-passing style (1993)

by Amr Sabry, Matthias Felleisen
Venue:Lisp and Symbolic Computation