A syntactic theory of sequential state (1989)

by M Felleisen, D Friedman
Venue:In Theoretical Computer Science