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