Programming Languages and Operational Semantics - Fernâandez, Maribel; Fernández, Maribel (Springer London, 2014)