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