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