Verification, Model Checking, and Abstract Interpretation - Cook, Byron (Springer Berlin Heidelberg, 2020)