Principles of program analysis with 56 figures and 51 tables - Nielson, Flemming 1955- (Springer, 2010)