Abbondandolo, A. A New Cohomology for the Morse Theory of Strongly Indefinite Functionals on Hilbert Spaces. TMNA 1997, 9, 325-382.