Verification, Model Checking, and Abstract Interpretation - Jones, Neil D.; Müller-Olm, Markus (Springer Berlin Heidelberg, 2009)