et al, A Syntactic Theory of Sequential Control (1987)

by M Felleisen, D P Friedman
Venue:TCS