ZUM '95: The Z formal specification notation : 9th international conference : Konf. Limerick, Ireland, 7.- 9. Sept. 1995 - Bowen, Jonathan P. (Springer Verlag, 1995)