Roux, Pierre. “Innocuous Double Rounding of Basic Arithmetic Operations”. Journal of Formalized Reasoning 7, no. 1 (January 1, 2014): 131–142. Accessed April 26, 2024. https://jfr.unibo.it/article/view/4359.