Programming Research Group Technical Monograph PRG-68

Steve King, Ib Holm Sørensen, Jim Woodcock

1988, 48 pages, ISBN 0-902928-50-3

In this monograph, we give a comprehensive description of the specification language Z. The language has already been described informally in Sufrin's Z Handbook and Ian Hayes' Specification Case Studies (Prentice-Hall, 1987).

The aim of this monograph is to prepare for the standardisation of the syntax of Z. The abstract syntax of Z is defined and a concrete representation of all language constructs is suggested, together with suggestions for a terminology for the constructs and concepts of the Z language. The syntax describes a language which is as close as possible to that used in existing case studies.