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