Thanks for pointing out any reference.

If you like complexes of vector spaces over the field with two elements, Lecture 2 in this set of notes by Jacob Lurie has a nice treatment of homotopy coinvariants in that context. Some technical complexity that arises in the topological category is avoided in the linear algebraic treatment. 

