L. Kristensen, “On a Cartan Formula for Secondary Cohomology Operations”., Math. Scand., vol. 16, pp. 97–115, Dec. 1965.