Rabinowitz, Paul H. 1997. “Heteroclinics for a Hamiltonian System of Double Pendulum Type”. Topological Methods in Nonlinear Analysis 9 (1):41-76. https://apcz.umk.pl/TMNA/article/view/TMNA.1997.004.