Numerical Software Verification - Zamani (Springer International Publishing, 2019)