A syntactic theory of sequential state. Theoretical Computer Science 69 (1989)

by M FELLEISEN, D P FRIEDMAN
Venue:Comp. Sci