Michael L. Overton. Numerical computing with IEEE floating point arithmetic - including one theorem, one rule of thumb, and one hundred and one exercices. SIAM, 2001.
@book{0004135, title = {Numerical computing with IEEE floating point arithmetic - including one theorem, one rule of thumb, and one hundred and one exercices}, author = {Michael L. Overton}, year = {2001}, tags = {rule-based, rules}, researchr = {https://researchr.org/publication/0004135}, cites = {0}, citedby = {0}, publisher = {SIAM}, isbn = {978-0-89871-482-1}, }