Lightfoot, David,  1951- <br/><br/>
Formal specification using Z / 
David Lightfoot 
 - 2nd ed. 
 - Basingstoke :  Palgrave Macmillan,  2001 
 - 192 p. :  ill.  ;  25 cm. 
<br/><br/> Previous ed.: 1991  Includes index 
<br/><br/><label>ISBN: </label>9780333763278 (pbk.) 0333763270 (pbk) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Z (Computer program language)<br/>Computer software--Development