A Rigorous Numerical Method for the Global Analysis of Infinite-Dimensional Discrete Dynamical Systems
S. Day, O. Junge, K. Mischaikow, SIAM Journal on Applied Dynamical Systems (2004) 117–160.