Beckman  F S <br/><br/>
Mathematical foundations of programming 

 - London  Wesley