Finite Element Methods for Navier-Stokes equations. Theory and algorithms - Girault, Vivette (Springer Series in computational mathematics, 1986)