Barry L. Kurtz. Laboratory activities for studying the formal semantics of programming languages. In Nell B. Dale, editor, Proceedings of the 22nd SIGCSE Technical Symposium on Computer Science Education, 1991, San Antonio, Texas, USA, March 7-8, 1991. pages 162-168, ACM, 1991. [doi]
Abstract is missing.