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