Paola Console, Ernst Hairer, Christian Lubich: Symmetric multistep methods for constrained Hamiltonian systems. Numerische Mathematik 124(3): 517-539 (2013)