1. Introduction to Interval Computations;Alefeld,1983
2. Interval analysis: theory and applications;Alefeld;J. Comput. Appl. Math,2000
3. G. Alefeld, G. Mayer, Enclosing solutions of singular interval systems iteratively, submitted
4. Nonnegative Matrices in the Mathematical Sciences;Berman,1994
5. D. Cordes, Verifizierter Stabilitätsnachweis für Lösungen von Systemen periodischer Differentialgleichungen auf dem Rechner mit Anwendungen, Ph.D. Thesis, Universität Karlsruhe, Karlsruhe, 1987 (in German)