The Algebra of Secondary Cohomology Operations (Progress in Mathematics)