Carvalho, A.X., and R.H.N. Santiago. 2006. “Interval Term Rewriting System: Toward A Formal Model for Interval Computation”. Trends in Computational and Applied Mathematics 7 (2):249-58. https://doi.org/10.5540/tema.2006.07.02.0249.