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