TY  - BOOK
AU  - Nielson, Flemming, 1955-
TI  - Principles of program analysis
SN  - 9783540654100
U1  - 005.1 NIE 
PY  - 1999///
CY  - Berlin ; New York
PB  - Springer
KW  - Chris Hankin
KW  - Hanne Riis Nielson
KW  - Flemming Nielson
KW  - Principles of program analysis
KW  - Computer programming
ER  -