Program Analysis and Compilation, Theory and Practice - Reps, Thomas (Springer Berlin Heidelberg, 2020)