Philipp Bringmann, Carsten Carstensen: An adaptive least-squares FEM for the Stokes equations with optimal convergence rates. Numerische Mathematik 135(2): 459-492 (2017)