Girault, Vivette; Raviart, Pierre-Arnaud: Finite element approximation of the Navier-Stokes equations. Berlin : Springer, 1981