P. Pilarczyk, “Computer assisted method for proving existence of periodic orbits”, TMNA, vol. 13, no. 2, pp. 365–377, Jun. 1999.