The Z notation : a reference manual - Spivey, J.M. (New York Prentice-Hall, 1989)
1