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

Logic Programming Fundamentals: Basics, Syntax, and Semantics

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

Formal Pragmatics: Semantics, Pragmatics, Presupposition, and Focus

Software Verification Based on Game Semantics and Process Algebra: A Game Semantic Framework for Verifying Safety Properties of Open Programs