Elements of Hamiltonian mechanics - Haar, D. ter 1919-2002 (Pergamon Pr., 1971)