https://bookem.ir/books/1080994-Software-for-Roundoff-Analysis-of-Matrix-Algorithms