-I.P. Rowen/A. Fett/M.G. Hinchey (Eds.): ZUM '98: The Z Formal Specification Notation. Proceedings, Springer-Verlag 1998