Computer Aided Verification - Dillig (Springer International Publishing, 2019)