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 March 9, 2025. https://tema.sbmac.emnuvens.com.br/tema/article/view/252.