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

PREDICATE CALCULUS AND PROGRAM SEMANTICS (MONOGRAPHS IN By Edsger W. Dijkstra

Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and La...

Programming Language Syntax Semantics by Watt (Paperback, 1991)

Comparative Metric Semantics of Programming Languages - 9781461286806

Comparative Metric Semantics of Programming Languages: Nondeterminism and Recurs