Semantics of Programming Languages by Carl A. Gunter