Numerical Software Verification - Abate, Alessandro (Springer International Publishing, 2020)