Implementation of finite element methods for Navier-Stokes equations - Thomasset, François (Springer, 1981)