Flemming Nielson, Hanne Riis Nielson, Chris Hankin. Principles of program analysis (2. corr. print). Springer, 2005. [doi]
@book{NielsenNH05,
title = {Principles of program analysis (2. corr. print)},
author = {Flemming Nielson and Hanne Riis Nielson and Chris Hankin},
year = {2005},
url = {http://www.springer.com/computer/theoretical+computer+science/book/978-3-540-65410-0},
tags = {program analysis, analysis, principles},
researchr = {https://researchr.org/publication/NielsenNH05},
cites = {0},
citedby = {0},
publisher = {Springer},
isbn = {978-3-540-65410-0},
}