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