Necessary Conditions In Dynamic Optimization by Francis Clarke