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