Zum'98 The Z Formal Specification Notation by Jonathan P. Bowen & A. Fettweis