Holtzman DN. Pyramids of higher order cohomology operations in the $p$-torsion-free category. Math. Scand. 1985;57:127-154. doi:10.7146/math.scand.a-12108