Semantics of Programming Languages : Structures and Techniques Ca

Foundations of Object-Oriented Languages: Types and Semantics

Formal Syntax and Semantics of Programming Languages By Kenneth Slonneger

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

Foundations of Object-Oriented Languages: Types and Semantics

Programming Languages and Operational Semantics - 9781447163671