Lightfoot, David <br/><br/>
Formal specification using Z 

 - London  Macmillan  1991 
 - xi, 164p. ;  
<br/><br/> Includes index 
<br/><br/><label>ISBN: </label>9780333544082 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Programming language -- Z <br/>RDBMS interface <br/>Software engineering