Algebraic Computing with REDUCE

by Malcolm MacCallum and Francis Wright