Joel Moses The Evolution of Algebraic Manipulation Algorithms. 483-488 1974 IFIP Congress db/conf/ifip/ifip74.html#Moses74