Numerical Software Verification - Bogomolov, Sergiy (Springer International Publishing, 2020)