The Z notation : a reference manual - Spivey, J. M. (New York : Prentice Hall, 1992)
Includes indexes.
Keywords: Z (Computer program language)