Benner, P., & Faßbender, H. (1997). An Implicitly Restarted Symplectic Lanczos Method for the Hamiltonian Eigenvalue Problem. Linear Algebra and its Applications, 263, 75-111. doi:10.1016/S0024-3795(96)00524-1.