ZUM'97: The Z Formal Specification Notation 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings - Bowen, Jonathan P.; Bowen, Jonathan P.; Hinchey, Michael G.; Hinchey, Michael G.; Till, David; Till, David (Springer Berlin Heidelberg : Imprint: Springer, 1997)