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

by Matthias Felleisen, Robert Hieb
Venue:THEORETICAL COMPUTER SCIENCE