Long, Y. 1997. A Maslov-type index theory for symplectic paths. Topological Methods in Nonlinear Analysis. 10, 1 (Sep. 1997), 47–78.