Jones, C. B. <br/><br/>
Systematic software development using VDM / 
Cliff B. Jones. 
 - Englewood Cliffs, N.J. :  Prentice Hall International,  c1986. 
 - xvi, 300 p. ;  24 cm. 
 - Prentice-Hall International series in computer science. .
<br/><br/> Includes index. 
<br/><br/>Includes bibliographical references. 
<br/><br/><label>ISBN: </label>0138807175 (pbk.) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software--Development.