A syntactic theory of sequential state (1989)

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