Contribution of Mihailo Petrović to the Development of Interval Arithmetic and Computation with Numerical Intervals∗