In the paper *configuration spaces: applications to Gelfand-Fuks cohomology*, by F. Cohen and L. Taylor, Bull. Amer. Math. Soc., 1978, theorem 1, I did not find the proof. What method did the author use to obtain Theorem 1?

Theorem 1:

Let $M=R^n\times V$, $V$ connected, $M$ a manifold of dimension $m$. How to obtain the cohomology ring $H^*(F(M,k);\mathbb{F})$, where $F(M,k)$ is the ordered configuration space, $\mathbb{F}$ is a field?

**Where could I find the proof?**