In Lancaster&Blundell QFT for the Gifted Amateur, Chaper 18, the authors introduce Wick's theorem. I have already seen it Fetter&Walecka and in here, but my problem with the theorem is that it is usually announced for interaction picture operators with time-dependences. Nevertheless in the...