Semantics of programming languages: structures and techniques - Gunter, Carl A. (The MIT Press, 1992)
Includes bibliographical references & index.