Zbigniew Galias: Computational Methods for Rigorous Analysis of Chaotic Systems. Intelligent Computing Based on Chaos 2009: 25-51