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