A. Abbondandolo, “A new cohomology for the Morse theory of strongly indefinite functionals on Hilbert spaces”, TMNA, vol. 9, no. 2, pp. 325–382, Jun. 1997.