Finiteness obstruction in model categories
On formal DG-algebras
The model category of simplicial groups is left proper