Carvalho, A.; Santiago, R. Interval Term Rewriting System: Toward A Formal Model for Interval Computation. Trends Comput. Appl. Math. 2006, 7, 249-258.