Nielson, Flemming., <br/><br/>
Principles of program analysis / 
Flemming Nielson, Hanne Riis Nielson, Chris Hankin 
 - Berlin :  Springer,  1999 
 - 450 pages ;  24 cm. 
<br/><br/><label>ISBN: </label>3540654100  RM152.47 
<br/><br/><label>LCCN: </label>99-047677 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer programming.<br/>Computer programs.