Finite element approximation of the Navier-Stokes equations - Girault, Vivette (Lecture notes in mathematics, 1981)