The book solves a long-standing problem on the algebra of secondary cohomology operations by developing a new algebraic theory of such operations. The results have strong impact on the Adams spectral sequence and hence on the computation of homotopy groups of spheres.