A. Carvalho and R. Santiago, “Interval Term Rewriting System: Toward A Formal Model for Interval Computation”, Trends Comput. Appl. Math., vol. 7, no. 2, pp. 249–258, Jun. 2006.