I would like to ask for a list of references that explain the simplicial approximation theorem, barycentric subdivisions and Kan $Ex^{\infty}$ functor in details, fully exploiting the language of simplicial sets where needed (which is not what most of the books on algebraic topology do).
Thanks in advance!