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

by M Felleisen, D P Friedman