The reduced order NS-α model for incompressible flow: theory, numerical analysis and benchmark testingVictoria M. Cuff, Argus A. Dunca, Carolina C. Manica and Leo G. RebholzESAIM: M2AN, 49 3 (2015) 641-662DOI: https://doi.org/10.1051/m2an/2014053