 Quantum Error Correction by John Preskill

Authored lecture notes, chapter 7. Inspected section 7.9.1, printed pp. 35–36, equations 7.117–7.120: stabilizer eigenspace and independent-generator dimension. Equation 7.160 gives the generator-product factorization of the stabilizer sum.