1. Introduction to Interval Computations.;Alefeld,1983
2. American National Standards Institute / Institute of Electrical and Electronic Engineers A Standard for Binary Floating-point Arithmetic. ANSI/IEEE Std. 754–1985, New York, 1985
3. Accurate Arithmetic Results for Decimal Data and Non-Decimal Computers;Auzinger;Computing,1985
4. A Self-validating Method for the Matrix Exponential;Bochev;Computing,1989
5. Simultaneous Self-Verified Computation of exp(A) and ∫10 exp(As)ds;Bochev;Computing,1990