TY  - GEN
AU  - Nielson, Flemming 
AU  - Nielson, Hanne Riis 
AU  - Hankin, Chris 
TI  - Principles of program analysis
SN  - 9783642084744
U1  - 005.1 N5548p 
PY  - 2005///
CY  - Berlin
PB  - Springer
KW  - Computer programs
KW  - Computer programming
ER  -