Matthias Felleisen Robert Hieb The Revised Report on the Syntactic Theories of Sequential Control and State. 235-271 1992 103 Theor. Comput. Sci. 2 db/journals/tcs/tcs103.html#FelleisenH92