REDUCE : software for algebraic computation - Rayna, Gerhard (Symbolic computation, 1987)