M. Kolberg, M. Dorn, L. Fernandes, and G. Bohlender.
" Parallel Verified Linear System Solver for Uncertain Input Data", in <em>Anais do XX International Symposium on Computer Architecture and High Performance Computing</em>, Campo Grande/MS, 2008, pp. 89-96.