Semantics of Programming Languages: Structures and Techniques (Foundations of Computing)

The Formal Semantics of Programming Languages: An Introduction (Foundations of Computing)

Executable Language: How Natural Language Became the Next Programming Language and the End of Semantic Debt

Programming Languages and Operational Semantics: A Concise Overview (Undergraduate Topics in Computer Science)

Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory (Computer Science Series)