Text this: Algebraic and diagrammatic methods in many-fermion theory