Principles of program analysis - Nielson, Flemming 1955-; Nielson, Hanne Riis 1954-; Hankin, Chris (Springer, 2005)