1. Albrecht R, Alefeld G, Stetter HJ (eds) (1993) Validation numerics—theory and applications. In: Computing supplementum, vol 9. Springer, Berlin
2. Alt R, Frommer A, Kearfott R, Luther W (eds) (2004) Numerical software with result verification. In: Lecture notes in computer Science, vol 2991. Springer, Berlin
3. Barboza LV, Dimuro GP, Reiser RHS (2004) Towards interval analysis of the load uncertainty in power electric systems. In: Proceedings of the 8th international conference on probability methods applied to power systems, 2004, Washington, pp 1–6
4. Chapmam B, Jost G, Pas RVD (2007) Using OpenMP. MIT Press, Cambridge
5. Grimmer M, Krämer W (2007) An MPI extension for verified numerical computations in parallel environments. In: Proceedings of the 7th international conference on scientific computing, 2007, Las Vegas, pp 111–117