Second-order sufficient optimality conditions for the optimal control of Navier-Stokes equationsFredi Tröltzsch and Daniel WachsmuthESAIM: COCV, 12 1 (2006) 93-119DOI: https://doi.org/10.1051/cocv:2005029