The Revised Report on the Syntactic Theories of Sequential Control and State (1992)

by Matthias Felleisen, Matthias Felleisen, Robert Hieb, Robert Hieb
Venue:Theoretical Computer Science