Carvalho, A.X., and R.H.N. Santiago. “Interval Term Rewriting System: Toward A Formal Model for Interval Computation”. Trends in Computational and Applied Mathematics 7, no. 2 (June 1, 2006): 249–258. Accessed July 3, 2024. https://tcam.sbmac.org.br/tema/article/view/252.