Deakstadieđáhus: Constructive nonsmooth analysis / Vladimir F. Demyanov, Alexander M. Rubinov.