Higher fundamental functors for simplicial sets Marco Grandis (2001) Cahiers de Topologie et Géométrie Différentielle Catégoriques
HSP subcategories of Eilenberg-Moore algebras. Barr, Michael (2002) Theory and Applications of Categories [electronic only]