Static Analysis - Xavier Rival (Springer, 2016)