Green's functions for fermion systems with pairing correlations