Formal Program Development  IFIP TC2/WG 2.1 State-of-the-Art Report 

 - Berlin;  Heidelberg;  New-York  1993 
<br/><br/><label>Source: </label>C-182702 
<br/><br/><label>Universal Decimal Class. No.: </label>4.415