Philip L. Lederer, Christian Merdon, Joachim Schöberl: Refined a posteriori error estimation for classical and pressure-robust Stokes finite element methods. Numerische Mathematik 142(3): 713-748 (2019)