Programming Languages and Operational Semantics A Concise Overview - Fernández, Maribel (Springer London : Imprint: Springer, 2014)