ZUM '95 :  the Z formal specification notation : 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995 : proceedings / 
Jonathan P. Bowen, Michael G. Hinchey (eds.) 
 - Berlin :  Springer-Verlag,  1995 
 - 569 p. 
 - Lecture notes in computer science ;  no. 967 .
<br/><br/><label>ISBN: </label>3540602712 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Z (Computer program language)--Congresses
<br/><br/><label>LC Class. No.: </label>QA76.73 Z2  / I58 1995