This is the formulation described in Numerical Stabilization. The method reduces over- and undershoots to a minimum, even for anisotropic meshes.
The Codina formulation is described in Ref. 1. It adds diffusion strictly in the direction orthogonal to the streamline direction. Compared to the do Carmo and Galeão formulation, the Codina formulation adds less diffusion but is not as efficient at reducing over- and undershoots. It also does not work as well for anisotropic meshes. The advantage is that the resulting nonlinear system is easier to converge and that under-resolved gradients are less smeared out.