Control Operators, the SECD-machine, and the λ-calculus (1986)

by M Felleisen, D P Friedman
Venue:In M. Wirsing, ed, Formal Description of Programming Concepts III