Breughel - Comparative Metric Semantics of Programming Languages Non - X555z

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

Comparative Metric Semantics of Programming Languages Nondeterminism Recursion

Comparative Metric Semantics of Programming Languages: Nondeterminism and: New

Programming Language Syntax Semantics by Watt (Paperback, 1991)

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

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