-J.P. Bowen/M.G. Hinchey (Eds.): ZUM '95-The Z Formal Specification Notation, Springer-Verlag Proceedings 1995