Verification, Model Checking, and Abstract Interpretation - David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg (Springer, 2017)