Static Analysis - Podelski, Andreas (Springer International Publishing, 2020)