Tobey, R. G. "Equivalence Recognition for Algebraic Expressions," Applied Mathematics 220 Research Project, Harvard University Computation Laboratory, June 1962.

Languages mentioned

• FORMAC {1962} FORmula MAnipulation Compiler