1. Babichev, A. B., Kadyrova, O. B., Kashevarova, T. P., Leshchenko, A. S., and Semenov, A. L.: UniCalc, A Novel Approach to Solving Systems of Algebraic Equations, Interval Computations 2 (1993), pp. 29–47.
2. Benhamou, F.: Interval Constraints, Interval Propagation, in Floudas, C. and Pardalos, P. (eds), Encyclopedia of Optimization, Kluwer Academic Publishers, Dordrecht, 2001.
3. Berz, M.: Cosy Infinity Web Page, 2000, http://cosy.pa.msu.edu/.
4. Cleary, J. G.: Logical Arithmetic, Future Computing Systems 2 (2) (1987), pp. 125–149.
5. Floudas, C. A.: Deterministic Global Optimization: Theory, Algorithms and Applications, Kluwer Academic Publishers, Dordrecht, 2000.