Woodman, Mark. <br/><br/>
Introduction to VDM / 
Mark Woodman and Benedict Heal. 
 - London :  McGraw-Hill,  1993. 
 - xiii, 240 p. 
 - McGraw-Hill International series in Software engineering. .
<br/><br/><label>ISBN: </label>0077074343 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software--Development.