The Z notation : a reference manual /
Spivey, J. M.
Englewood Cliffs, N.J. : Prentice Hall,
c1989.
"November 1987."
Includes index.
Bibliography: p.
Z (Computer program language)