Pilarczyk, P. (1999) “Computer assisted method for proving existence of periodic orbits”, Topological Methods in Nonlinear Analysis, 13(2), pp. 365–377. Available at: https://apcz.umk.pl/TMNA/article/view/TMNA.1999.019 (Accessed: 25 April 2024).