Programming Language Semantics

David A. Schmidt. Programming Language Semantics. In Allen B. Tucker, editor, The Computer Science and Engineering Handbook. pages 2237-2254, CRC Press, 1997.