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