TY  - BOOK
AU  - Nielson, Flemming
TI  - Principles of program analysis
SN  - 3540654100
U1  - 005.1 NIE 
PY  - 1999///
CY  - Berlin
PB  - Springer
N1  - Includes bibliographical references
ER  -