Static Analysis - Francesco Ranzato (Springer, 2017)