So we know that correlation functions computed in a quantum field theory generically have to be renormalized, e.g. by introducing counterterms into the action, which remove UV divergences and leave the physical correlation functions dependent on renormalized couplings. Now in the Schrodinger picture, we can compute correlation functions (at equal time) as moments of the evolving wave functional. Presumably renormalization of the couplings in the Lagrangian through counterterms leads to additional pieces in the wave functional which ensure that its equal-time correlators are the appropriate renormalized ones. I am wondering what the procedure is to account for this in evolving the wave functional, or if there is a particularly helpful paper, lecture, etc.