Convergence of a finite element discretization of the Navier-Stokes equations in vorticity and stream function formulationMohamed Amara and Christine BernardiESAIM: M2AN, 33 5 (1999) 1033-1056DOI: https://doi.org/10.1051/m2an:1999133