Programming Languages and Operational Semantics - heftet, Engelsk, 2014