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