Ken Slonneger. An exercise in denotational semantics. 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 178-183, ACM, 1991. [doi]
Abstract is missing.