ZUM '97, the Z formal specification notation : 10th International Conference of Z Users, Reading, UK, April 3-4, 1997 : proceedings / - Bowen, J. P.; Hinchey, Michael G.; Till, David. (Springer,, 1997)