Title: ZUM '98 : the Z Formal Specification Notation