The Z notation : a reference manual / - Spivey, J. M. (Prentice Hall, 1992)