Gries David <br/><br/>
Science of programming 

 - New Delhi  Narosa  1989 
 - 366