ZUM '97 - The Z Formal Specification Notation 10th International Conference of Z Users, Reading, UK, April 3-4, 1997, Proceedings - Bowen, J. P. (Lecture Notes in Computer Science)