  We present a scheme for the analytic computation of renormalization functions
on the lattice, using a symbolic manipulation computer language. Our first
nontrivial application is a new three-loop result for the topological
susceptibility.
