Mathematical Aspect of Optimal Control Finite Element Method for Navier-Stokes Problems. JCM 1984, 2 (2), 139-151.