Algebraic Computing With Reduce Lecture Notes from the first Brazilian School on Computer Algebra - MacCallum Malcolm A.H.; Francis J.Wright (New York Clarendon Press, 1991)