Verification, Model Checking, and Abstract Interpretation - Kenneth L. McMillan, Xavier Rival; Rival, Xavier (Springer Berlin Heidelberg, 2014)