Jonathan P. Bowen Michael G. Hinchey David Till ZUM '97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, April 3-4, 1997, Proceedings ZUM Lecture Notes in Computer Science 1212 Springer 1997 3-540-62717-0 db/conf/zum/zum1997.html