Principles of program analysis - Nielson, Flemming, 1955- (Springer, 1999)