Abbondandolo, A. 1997. A new cohomology for the Morse theory of strongly indefinite functionals on Hilbert spaces. Topological Methods in Nonlinear Analysis. 9, 2 (Jun. 1997), 325–382.