Kristensen, L. “On a Cartan Formula for Secondary Cohomology Operations”. MATHEMATICA SCANDINAVICA, vol. 16, Dec. 1965, pp. 97-115, doi:10.7146/math.scand.a-10751.