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