Symbolic Computation of Variational Symmetries in Optimal Control - Paulo D. F. Gouveia; Delfim F. M. Torres; Eugenio A. M. Rocha (2006)