TY  - BOOK
AU  - Nielson,Flemming
AU  - Hankin,Chris
AU  - Nielson,Hanne Riis
TI  - Principles of program analysis
SN  - 3540654100
PY  - 1999///
CY  - Berlin
PB  - Springer
KW  - Computer programming
KW  - Computer programs
ER  -