The Formal Semantics of Programming Languages: An Introduction | MIT Press eBooks | IEEE Xplore