Finite element methods for Navier-Stokes equations : theory and algorithms : with 21 figures - Girault, Vivette (Springer series in computational mathematics ;, 1986)