The Denotational Description of Programming Languages: An Introduction
Programming Language Theory and Its Implementation: Applicative and Imperative Paradigms