The Z notation : a reference manual /
Spivey, J. M.
New York ; London : Prentice Hall,
1992.