BICARREGUI, Juan C.;  FITZGERALD, John S. <br/><br/>
Proof in VDM a practitioner's guide  

 - London;  Berlin  1994 
<br/><br/><label>Source: </label>C-182787 
<br/><br/><label>Universal Decimal Class. No.: </label>4.415