Finite element approximation of the nonstationary Navier-Stokes problem: part III: smoothing property and higher order error estimates for spatial discretization - Heywood, John G.; Rannacher, Rolf (SIAM journal on numerical analysis, 1988)