The numerical solution of constrained Hamiltonian systems - Leimkuhler, Benedict (ZIB, 1992)