Beckman, Frank S <br/><br/>
Mathematical foundations of programming 

 - Reading  Addison Wesley  1980 
 - xviii, 443 p. 
<br/><br/>   
<br/><br/><label>Subjects--Index Terms: </label>Computer science  Computer programming  Computer software