Second quantization is a mathematical technique (sometimes referred to as ``occupation number'' formalism), which allows one to focus on simple one- and two-electron integrals, and avoid many of the intricate problems associated with determinant algebra. These results are general, and their use is certainly not restricted to coupled-cluster theory. This development primarily follows that of Szabo and Ostlund[43].