Pilarczyk, Paweł. 1999. “Computer Assisted Method for Proving Existence of Periodic Orbits”. Topological Methods in Nonlinear Analysis 13 (2):365-77. https://apcz.umk.pl/TMNA/article/view/TMNA.1999.019.