Program Analysis and Compilation, Theory and Practice - Reps, Thomas; Bauer, Jörg; Hutchison, David; Kanade, Takeo; Reps, Thomas William; Sagiv, Mooly; Kittler, Josef; Wilhelm, R (Springer Berlin Heidelberg, 2007)