Integer Polyhedra for Program Analysis. - Philip J. Charles; Jacob M. Howe; Andy King (AAIM, 2009)