A.A. Jorgensen, L. Vegas, C.R. Masters, R.K. Guha, A.C. Masters "Bounded Floating Point: Identifying and Revealing Floating-Point Error", Advances in Science, Technology and Engineering Systems Journal, vol. 6, no. 1, pp. 519-531 (2021).