François Castella, Philippe Chartier, J. Sauzeau: A Formal Series Approach to the Center Manifold Theorem. Found. Comput. Math. 18(6): 1397-1434 (2018)