A syntactic theory of sequential control (1987)

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