Kolberg, Mariana, Márcio Dorn, Luiz Gustavo Fernandes, and Gerd Bohlender.
" Parallel Verified Linear System Solver for Uncertain Input Data." <em>Proceedings of the 20th International Symposium on Computer Architecture and High Performance Computing,
Campo Grande/MS, 2008</em>. SBC, 2008,  
pp.89-96.