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 lurkyinglurking somewhere. Anyway worth look.