Semiconcave Functions, Hamilton-Jacobi Equations, and Optimal Control by Carlo Sinestrari & Piermarco Cannarsa