Software Verification - Christakis (Springer International Publishing, 2020)