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