Numerical Software Verification - Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar (Springer, 2017)