J.-F. . Hetu, A. . Fortin, and D. H. . Pelletier, “An a posteriori error estimator for the Navier-Stokes equations”, TECM, vol. 3, no. 3, pp. 363–377, Mar. 1994.