Programming languages and operational semantics : a concise overview / Maribel Fernandez. - Fernández, Maribel (Undergraduate topics in computer science., 2014)