The Z notation : a reference manual - Spivey, J M (Prentice hall, New York, 1992)