Berg, H.K and etal <br/><br/>
Formal methods of program verification and specification 
H. K Berg and etal 
 - New Jersey  Prentice-Hall  1982 
 - xiv, 207p.:ill.  Hbk 
<br/><br/><label>ISBN: </label>0133288072 
<br/><br/><label>LC Class. No.: </label>QA76.6.F65  / 1982