Pilarczyk, P. “Computer Assisted Method for Proving Existence of Periodic Orbits”. Topological Methods in Nonlinear Analysis, vol. 13, no. 2, June 1999, pp. 365-77, https://apcz.umk.pl/TMNA/article/view/TMNA.1999.019.