Sheppard, Deri. <br/><br/>
An introduction to formal specification with Z and VDM / 
Deri Sheppard. 
 - London ;  New York :  McGraw-Hill,  c1995. 
 - xvii, 398 p. :  ill. ;  25 cm. 
 - The McGraw-Hill international series in software engineering .
<br/><br/>Includes bibliographical references (p. 390-392) and index. 
<br/><br/><label>ISBN: </label>0077079078 :  £19.95 
<br/><br/><label>LCCN: </label>94020024  
<br/><br/><label>Subjects--Topical Terms: </label><br/>Z (Computer program language)<br/>Computer software--Development.
<br/><br/><label>LC Class. No.: </label>QA76.73.Z2  / S48 1995 
<br/><br/><label>Dewey Class. No.: </label>005.1