Complete analysis of polarization effects in e gamma -> e gamma with   REDUCE
  Formulae for the matrix element squared of the process e gamma -> e gamma with all four particles polarized are obtained using REDUCE. 
A. G. Grozin