A. Burnel Hubert Caprasse The Computation of 1-Loop Contributions in Y.M. Theories with Class III Nonrelativistic Gauges and REDUCE. 103-107 1992 ISSAC http://doi.acm.org/10.1145/143242.143281 db/conf/issac/issac92.html#BurnelC92