Computerized symbolic manipulation in mechanics - Kreuzer, E. (Springer-Verlag, 1994)