Sufficient optimality conditions and semi-smooth newton methods for optimal control of stationary variational inequalitiesKarl Kunisch and Daniel WachsmuthESAIM: COCV, 18 2 (2012) 520-547DOI: https://doi.org/10.1051/cocv/2011105