A syntactic theory of sequential control (1987)

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