Andrews, Derek Ince, Darrel <br/><br/>
Practical Formal Methods with VDM 

 - London  McGraw-Hill Book Company  1991 
 - p.450 
<br/><br/><label>ISBN: </label>9780077072148 
<br/><br/><label>Subjects--Topical Terms: </label> Computer Software  Data Refinement 
<br/><br/><label>Dewey Class. No.: </label>621.3819642 A566P