A. Carvalho e R. Santiago, “Interval Term Rewriting System: Toward A Formal Model for Interval Computation”, Trends Comput. Appl. Math., vol. 7, nº 2, p. 249–258, jun. 2006.