Automating renormalization of quantum field theories. - A. D. Kennedy; Thomas Binoth; Thomas Rippon (SNC, 2007)