Topological defect formation from 2PI effective action techniques - Berges, Jürgen; Roth, Stefan (Nuclear physics. B, Particle physics, 2011)