Divergence-free mixed finite elements for the incompressible Navier-Stokes equation - Linke, Alexander 1979- (2008)