Cullum, J.K. and Willoughby, R.A.. Lanczos algorithms for large symmetric eigenvalue computations: Theory. : Society for Industrial Mathematics, 2002.