Slavnov-Taylor1.0: A Mathematica package for computation in BRST formalism - CPC, Mendeley (Mendeley, 2004)