The Revised Report on the Syntactic Theories (1992)

by M Felleisen, R Hieb
Venue:of Sequential Control and State. Theoretical Computer Science 103