Convergent finite element discretizations of the Navier-Stokes-Nernst-Planck-Poisson systemAndreas Prohl and Markus SchmuckESAIM: M2AN, 44 3 (2010) 531-571DOI: https://doi.org/10.1051/m2an/2010013