Algebraic computing with REDUCE lecture notes from the First Brazilian School on Computer Algebra - MacCallum, M. A. H.; Wright, Francis J. (Oxford University Press, 1991)