Benner, P., & Faßbender, H. (1998). The Symplectic Eigenvalue Problem, the Butterfly Form, the SR Algorithm, and the Lanczos Method. Linear Algebra and its Applications, 275-276, 19-47. doi:10.1016/S0024-3795(97)10049-0.