1. Verified determination of singularities in chemical processes, In: Krämer, W. et al., Eds., Scientific Computing, Validated Numerics, Interval Methods, Kluwer/Plenum, New York (2001), 305-316.
2. Singularities and Groups in Bifurcation Theory, Vol. I. Springer, New York (1985).
3. Global Optimization Using Interval Analysis, Marcel Dekker, New York (1992).
4. Rigorous Global Search, Continuous Problems, Kluwer, Dordrecht, The Netherlands (1996).
5. Interval Methods for Systems of Equations. Cambridge University Press, Cambridge, Great Britain (1990).