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, vol. 7, no. 2, June 2006, pp. 249-58, doi:10.5540/tema.2006.07.02.0249.