Towards an Efficient Implementation of Interval Arithmetic (CSD-92-693)
Ioannis Z. Emiris and Richard J. Fateman