Semantics of programming languages : structures and techniques / - Gunter, Carl A. (MIT Press, 1992)