Selfverifying Solvers for Linear Systems of Equations in C-XSC. - Carlos Amaral Hölbig; Paulo Sérgio Morandi Júnior; Bernardo Frederes Krämer Alcalde; Tiarajú Asmuz Diverio (PPAM, 2003)