Structure and interpretation of classical mechanics. - Gerald J. Sussman; Jack Wisdom; Meinhard E. Mayer (MIT Press, 2001)