Semantics of Programming Languages: Structures and Techniques (Foundations o...

Foundations of Computing Ser.: Formal Semantics of Programming Languages : An...

Mathematical Foundation of Programming Semantics, Lecture Notes Computer Science

Foundations of Computing Ser.: Semantics of Programming Languages :...

Semantics of Programming Languages: Structures and Techniques (Foundations of...

Comparative Metric Semantics of Programming Languages Nondeterminism Recursion

The Structure of Typed Programming Languages (Foundations of Computing)

Algebraic Semantics of Imperative Programs (Foundations of Computing) (FOUND...