Verification, Model Checking, and Abstract Interpretation - Dillig; Jens Palsberg; Palsberg, Jens (Springer International Publishing, 2018)