Semantics of programming languages: Structure and techniques - Gunter, Carl A (MIT Press Cambridge, 1992)
Keywords: PROGRAMMING LANGUAGE