Numerical Software Verification - Bogomolov (Springer International Publishing, 2017)