What would be the best book, article, or otherwise to reference for the specific construction of the classifying space for a discrete group $G$ which goes as follows?:


* Regard $G$ as a category with one object whose morphisms are the elements of $G$.
* Construct the simplicial sets $NG$ (i.e., the nerve of $G$) and $\mathcal{E}G$ (unsure if there's a standard notation; I mean that $\mathcal{E}G\_n$ should be $G^{n+1}$ with face maps given by deletion and degeneracy maps given by repetition).
* Take the geometric realizations $BG$ of $NG$ and $EG$ of $\mathcal{E}G$; then $BG$ is the classifying space with universal cover $EG$.


As far as I know, this is a fairly standard construction (although perhaps not *the* standard one). I'm just wondering about the best place to use as a reference for it.



Simplicial set construction of the classifying space
I believe that's called the Milgram bar construction:


* R.J. Milgram, *The bar construction and abelian $H$-spaces*, Illinois J. Math. 11 (1967), 242-250.


