The optimisation of user programs for the reduce algebraic manipulation system by pre-processing. - Richard John Hicks (1984)