Lanczos algorithms for large symmetric eigenvalue computations, vol. I: theory - Cullum, Jane K., author (Society for Industrial and Applied Mathematics, 2002)