Cliff B. Jones. Understanding Programming Language Concepts Via Operational Semantics. In Chris George, Zhiming Liu, Jim Woodcock, editors, Domain Modeling and the Duration Calculus, International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures. Volume 4710 of Lecture Notes in Computer Science, pages 177-235, Springer, 2007. [doi]