Finite element methods for Navier-stokes equations: theory and algorithms. - Springer Verlag, 1986. - ( Springer Series in Computational Mathematics ; 5).