Numerical Software Verification - Majid Zamani, Damien Zufferey (Springer, 2019)