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