Finite element methods for navier-stokes equations : theory and algorithms - Girault, Vivette 1943 - (Springer series in computational mathematics, 1985)