Constructive Nonsmooth Analysis and Related Topics | EKB DL