Sanjiva Prasad S. Arun-Kumar Introduction to Operational Semantics. 841-890 2002 The Compiler Design Handbook db/books/collections/CRCcompiler2002.html#PrasadA02