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