Verification, Model Checking, and Abstract Interpretation - Barbara Jobstmann, K. Rustan M. Leino (Springer, 2016)