Topological defect formation from 2PI effective action techniques - Berges, Jürgen; Roth, Stefan (Arxiv, 2011)