Kristensen, Leif. “On a Cartan Formula for Secondary Cohomology Operations”. Mathematica Scandinavica, vol. 16, Dec. 1965, pp. 97-115, https://doi.org/10.7146/math.scand.a-10751.