Understanding Z: A Specification Language and its Formal Semantics by J.M. Spive

Programming Language Syntax Semantics by Watt (Paperback, 1991)

Understanding Z: A Specification Language and its Formal Semantics by J.M. Spive

Understanding Z: A Specification Language and its F... by Spivey, J. M. Hardback

Understanding Z A Specification Language and its Formal Semantics Spivey

Lexical Semantics by D.A. Cruse (Cambridge Textbooks in Linguistics), Very Good

Formal Syntax And Semantics of Programming Language by Kenneth Slonneger

Understanding Z: A Specification Language and its Formal Semantics (Cambridge T