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