Zgliczyński, P. 2010. Rigorous numerics for dissipative PDEs III. An effective algorithm for rigorous integration of dissipative PDEs. Topological Methods in Nonlinear Analysis. 36, 2 (Apr. 2010), 197–262.