ZUM'98 The Z Formal Specification Notation - Bowen, J. P. (Lecture Notes in Computer Science Ser.)