Jones, Cliff B <br/><br/>
Software development; a rigorous approach 

 - New Jersey  Prentice-Hall International  1980 
 - xv+382p 
 -  Prentice-hall international series in computer science  Hoare, C.A.R .
<br/><br/><label>Universal Decimal Class. No.: </label>681.32  / JON.80