Towards Automatic Analytic Evaluation of Massive Feynman Diagrams
  A method to calculate two-loop self-energy diagrams of the Standard Model is demonstrated. A direct physical application is the calculation of the two-loop electroweak contribution to the anomalous magnetic moment of the muon ${1/2}(g-2)_{\mu}$. Presently we confine ourselves to a ``toy'' model with only $\mu$, $\gamma$ and a scalar particle (Higgs). The algorithm is implemented as a package of computer programs in FORM. For generating and automatically evaluating any number of two-loop self-energy diagrams, a special C-program has been written. This program creates the initial FORM-expression for every diagram generated by QGRAF, executes the corresponding subroutines and sums up the final results. 
L.Avdeev, J.Fleischer (Bielefeld U.), M.Yu.Kalmykov and M.Tentyukov