Battersonand Day. Linear Convergence in the Shifted $QR$ Algorithm. no. 199, American Mathematical Society (AMS), Sept. 1992, doi:10.1090/s0025-5718-1992-1134713-7.