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