Elements of Hamiltonian mechanics - Haar, D. ter 1919-2002 (North-Holland, 1961)