Interval mathematics: Proceedings of the International Sympo