Zgliczyński, P. Rigorous Numerics for Dissipative PDEs III. An Effective Algorithm for Rigorous Integration of Dissipative PDEs. TMNA 2010, 36, 197-262.