Structure and interpretation of classical mechanics - Sussman, Gerald Jay; Wisdom Jack (The MIT Press, 2014)