Principles of program analysis (2. corr. print).

Flemming Nielson Hanne Riis Nielson Chris Hankin Principles of program analysis (2. corr. print). I-XXI, 1-452 Springer 2005 978-3-540-65410-0 http://www.springer.com/computer/theoretical+computer+science/book/978-3-540-65410-0