Verification, Model Checking, And Abstract Interpretation by L.D. Ed Zuck