Cullum, J., Willoughby, R. (2002). Lanczos algorithms for large symmetric eigenvalue computations: Theory. Society for Industrial Mathematics.