A. Cooper, Marek Szularz, Jim Weston: Analysis of the Lanczos Error Bounds and Its Application to the Explicitly Restarted Lanczos Algorithm. PPAM 2001: 410-417