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), pp. 249–258. doi: 10.5540/tema.2006.07.02.0249.