-J. P. Bowen/M.G. Hinchey/D. Till (Eds.): ZUM '97: The Z Formal Specification Notation. Proccedings, Springer-Verlag 1997