Algebraic computing with REDUCE : lecture notes from the first Brazilian School on Computer Algebra /
MacCallum, Malcolm A.H.
Wright, Francis J.
Oxford : Clarendon Press,
1991.