Period doubling in the Rossler system - a computer assisted proof - Daniel Wilczak; Piotr Zgliczynski (2007)