Carvalho, A. and Santiago, R. 2006. Interval Term Rewriting System: Toward A Formal Model for Interval Computation. Trends in Computational and Applied Mathematics. 7, 2 (Jun. 2006), 249–258. DOI:https://doi.org/10.5540/tema.2006.07.02.0249.