A syntactic theory of sequential control (1987)

by M Felleisen, D Friedman, E Kohlbecker, B Duba
Venue:Theoretical Computer Science