A posteriori error estimation for mixed finite element approximations to the Navier-Stokes equations - de Frutos, Javier; García-Archilla, Bosco; Novo, Julia (Journal of Computational and Applied Mathematics, 2011)