Xiaojun Chen: A Verification Method for Solutions of Nonsmooth Equations. Computing 58(3): 281-294 (1997)