Three-loop vacuum integrals in FORM and REDUCE
  The implementation of an algorithm for three-loop massive vacuum integrals, based on the explicit solution of the recurrence relations, in REDUCE and FORM is described. 
P. A. Baikov (INP MSU), M. Steinhauser (MPI Munich)