Text this: Nonsmooth analysis and control theory /