Its nice to look also at Bott's early paper 
"On symmetric products and the Steenrod squares. "
Ann. of Math. (2) 57, (1953). 579–590.

He uses an early version of Smith theory. Depending on how 
you do Smith Theory the homotopy quotient construction lurking somewhere. Anyway worth 
look.