Structure and interpretation of classical mechanics. - Sussman, Gerald Jay (MIT Press, 2001)