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

Comparative Programming Languages - Hardcover, by Wilson L. B.; - Very Good

Semantics of Programming Languages : An Elementary Introduction Using Structural

Denotational Semantics: The Scott-Strachey Approach to Programming Language...

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

Semantics of Programming Languages (Pr... by Tennent, R. D. Paperback / softback

Comparative Programming Languages Hardcover Leslie B., Clark, Rob

Program Correctness over Abstract Data Types, With Error State Semantics Cwi Mon