Structure and Interpretation of Classical Mechanics - Sussman (IEEE, 2003)