Reasoning about (1993)

by Amr Sabry, Matthias Felleisen
Venue:Programs in Continuation-Passing Style. Lisp and Symbolic Computation