ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Usres, Limerick, Ireland, September 7-9, 1995, Proceedings

Jonathan P. Bowen Michael G. Hinchey ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Usres, Limerick, Ireland, September 7-9, 1995, Proceedings ZUM Lecture Notes in Computer Science 967 Springer 1995 3-540-60271-2 db/conf/zum/zum1995.html