Let $T$ be the category of compactly generated weak Hausdorff spaces with model structure given by Serre fibrations, Serre cofibrations and weak homotopy equivalences. Let $G = |G.|$ be the (geometric) realization of a simplicial group (re-topologize this using the compactly generated topology). Let $R^G(\ast)$ be the category of based left $G$-spaces (where spaces are taken in $T$). Then $R^G(\ast)$ is a model category in which a fibration and weak equivalence are defined via the forgetful functor to $T$. Cofibrations are defined by the lifting property. It's well-known that this gives a model structure, so I'll take that for granted. Let $R(BG)$ be the category of spaces containing $BG$ as a retract. Objects are spaces $Y$ equipped with maps $r:Y \to BG$, $s: BG \to Y$ such that $r\circ s : BG \to BG$ is the identity (call $r$ and $s$ *structure maps*). A morphism is a map of spaces preserving the structure maps. Then $R(BG)$ is a model category in which a fibration, cofibration and weak equivalence are defined using the forgetful functor to $T$. This is due to Quillen. I think the following is a folklore result: **Assertion**: $R^G(\ast)$ and $R(BG)$ are Quillen equivalent. **My question**: *Does anyone know a concrete reference for this?* **Remark:** A statement suggesting that the assertion is true in the context of Waldhausen categories appears in Waldhausen's foundational paper in LNM 1126.