The Z notation :
Spivey, J. M.
The Z notation : a reference manual / J.M. Spivey ; based on the work of J.R. Abrial ... [et al.]. - 2nd ed. - New York : Prentice Hall, 1992. - 1 Online resource (1 volume) - Prentice Hall international series in computer science . - Prentice-Hall international series in computer science. .
Includes indexes.
92006090
Z (Computer program language)
005.11 SPI 1992
The Z notation : a reference manual / J.M. Spivey ; based on the work of J.R. Abrial ... [et al.]. - 2nd ed. - New York : Prentice Hall, 1992. - 1 Online resource (1 volume) - Prentice Hall international series in computer science . - Prentice-Hall international series in computer science. .
Includes indexes.
92006090
Z (Computer program language)
005.11 SPI 1992