The Formal Semantics of Programming Languages: An Introduction (Foundations ...

Comparative Metric Semantics of Programming Languages Nondeterminism Recursion

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

The Formal Semantics of Programming Languages: An Introduction (Foundations ...

Foundations of Probabilistic Logic Programming: Languages, Semantics, Infere...

Formal Semantics of Programming Languages, Winskel, Glynn, Good Book

Programming Language Syntax Semantics by Watt (Paperback, 1991)

Comparative Metric Semantics of Programming Languages : Nondeterminism and Re...