TY  - BOOK
AU  - Nielson, Flemming
TI  - Principles of program analysis
SN  - 3-540-65410-0
PY  - 1999///
CY  - Berlin
PB  - Springer
KW  - Programming (Electronic computers)
ER  -