A more recent paper (2005 at least ;) ), has a more concise notation while comparing multiple BRDFs including the Cook-Torrance BRDF. Their formula does not include the division by 4.
Addy Ngan, Frédo Durand, Wojciech Matusik: Experimental Analysis of BRDF Models,
Proceedings of the Eurographics Symposium on Rendering 2005.
Project Page, Supplemental (Take a look at the supplemental!)
Note, however that the Cook-Torrance BRDF is not equal and thus not a synonym for the Torrance-Sparrow BRDF. The latter includes your division by 4. An interesting reference overview can be found in:
Rosana Montes, Carlos Ureña: An Overview of BRDF Models, Technical Report, 2012.
The same Cook-Torrance BRDF formula is also present in:
Philip Dutré, Kavita Bala, Philippe Bekaert: Advanced Global Illumination, 2nd Edition, 2006.
Edit: I looked at some (isotropic) implementations of the F, G (or V depending if you factor the foreshortening in the denominator into G) and D:
- D: Beckmann, Ward-Duer, Blinn-Phong, Trowbridge-Reitz a.k.a. GGX a.k.a. GTR2, Berry a.k.a. GTR1;
- G|V: Implicit, Ward, Neumann, Ashikhmin-Premoze, Kelemann, Cook-Torrance, Smith GGX, Smith Schlick-GGX, Smith Beckmann, Smith Schlick-Beckmann;
- F: Schlick, Cook-Torrance.
They all seem to be used (in the literature, in the animation industry and in the gaming industry) in the format corresponding to your second option. All the D factors in my enumeration contain an explicit $\frac{1}{\pi \alpha^2} $ with $\alpha \equiv \text{roughness}^2$ (See Equations).
Edit 2: A recent presentation deriving and explaining the division by $4$ instead of $\pi$:
Earl Hammon: PBR Diffuse Lighting for GGX+Smith Microsurfaces, GDC 2017.
To make a long story shorter, option 2 is the only correct specular term (of the three options provided).