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