Develops a general theory of Steenrod operations in spectral sequences. This book focuses on the change-of-rings spectral sequence for the cohomology of an extension of Hopf algebras and on the Eilenberg-Moore spectral sequence for the cohomology of classifying spaces and homotopy orbit spaces.