Finite element approximation of the nonstationary Navier-Stokes problem: part I: regularity of solutions and second-order error estimates for spatial discretization - Heywood, John G.; Rannacher, Rolf (SIAM journal on numerical analysis, 1982)