Cochain operations defining Steenrod $\cup_i$-products in the bar   construction
  The set of cochain multioperations defining Steenrod $\smile_i$-products in the bar construction is constructed in terms of surjection operad. This structure extends a Homotopy G-algebra structure which defines just the $\cup $ on the bar construction. 
T. Kadeishvili