Erwan Faou, Benoît Grébert, Eric Paturel: Birkhoff normal form for splitting methods applied to semilinear Hamiltonian PDEs. Part I. Finite-dimensional discretization. Numerische Mathematik 114(3): 429 (2010)