PILARCZYK, Paweł. Computer assisted method for proving existence of periodic orbits. Topological Methods in Nonlinear Analysis. Online. 1 June 1999. Vol. 13, no. 2, pp. 365 - 377. [Accessed 22 July 2024].