The Z notation
Subtitle: a reference manual
By: J.M. Spivey ; based on the work of J.R. Abrial ... [et al.].
Edition: 2nd ed.
Series: Prentice Hall international series in computer science; Prentice-Hall international series in computer science.
Publisher: Prentice Hall
Published: 1992
Place of publication: New York
Language: eng
Number of pages: 158
Subjects: Z (Computer program language)
Notes: Includes indexes.