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