Backhouse, Roland C <br/><br/>
Program construction :  calculating implementations from specifications / 
Roland Backhouse 
 - Chichester :  Wiley,  2003 
 - 340 p. :  ill. ;  24 cm 
<br/><br/><label>ISBN: </label>0470848820 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer programming