ZUM '95, the Z formal specification notation : 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995 : proceedings / - Bowen, J. P.; Hinchey, Michael G. (Springer, 1995)