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

by M Felleisen, R Hieb
Venue:Theoretical Computer Science