Solving Large Sparse Linear Systems with Guaranteed Accuracy. - Ulrich Schauer; Richard A. Toupin (Accurate Scientific Computations, 1985)