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