Semantics of programming languages: structures and techniques - Gunter, Carl A. (Foundations of Computing series., 1992)