Simplicial groups as models for n -types J. G. Cabello — 1997 Cahiers de Topologie et Géométrie Différentielle Catégoriques
Quillen's theory for algebraic models of n-types. J. G. Cabello; A. R. Garzón — 1994 Extracta Mathematicae