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