Wilczak, D. “Computer Assisted Proof of Chaotic Dynamics in the Rössler Map”. Topological Methods in Nonlinear Analysis, vol. 18, no. 1, Sept. 2001, pp. 183-90, https://apcz.umk.pl/TMNA/article/view/TMNA.2001.030.