Backhouse, Roland. <br/><br/>
Program construction : calculating implementations from specifications. 

 - N D  Wiley  2004 
 - 332p. 
<br/><br/><label>Dewey Class. No.: </label>005.1  B127P