Nielson, Flemming <br/><br/>
Principles of program analysis 

 - 1st 
 - Berlin  Springer  1999 
 - xxi,450p p. 
<br/><br/><label>ISBN: </label>3-540-65410-0 
<br/><br/><label>Subjects--Index Terms: </label>Programming (Electronic computers)