Numerics and hydrodynamic stability: toward error control in computational fluid dynamics - Johnson, Claes; Rannacher, Rolf; Boman, Mats (SIAM journal on numerical analysis, 1995)