Backhouse R.C <br/><br/>
Program construction and verification 
R.C Backhouse 
 - Hempstead  C.A.R Hoare  1986 
 - xi, 281p, ;ill 
<br/><br/><label>ISBN: </label>0137291531 
<br/><br/><label>LC Class. No.: </label>QA76.6.B28 1986