Numerical analysis of the Navier-Stokes equations - Rannacher, Rolf (Applications of mathematics, 1993)