P. Zgliczyński, “Rigorous numerics for dissipative PDEs III. An effective algorithm for rigorous integration of dissipative PDEs”, TMNA, vol. 36, no. 2, pp. 197–262, Apr. 2010.