O. Caprani and K. Madsen, “Performance of an Occam/transputer implementation of interval arithmetic”, DPB, vol. 22, no. 451, Aug. 1993.