The Z notation : : a reference manual - Spivey, J. M. (Prentice-Hall International series in computer science, 1989)