A syntactic theory of sequential control (1987)

by Matthias Felleisen, Daniel P Friedman, E Kohlbecker, B F Duba
Venue:in Proceedings of the 1st IEEE Symposium on Logic in Computer Science