The revised report on the syntactic theory of sequential control and state (1992)

by Matthias Felleisen, R Hieb
Venue:Theoretical Computer Science