Saad, 1987. On the Lanczos Method for Solving Symmetric Linear Systems with Several Right-Hand Sides 48.. https://doi.org/10.2307/2007834