Anthony C. Hearn. REDUCE: a user-oriented interactive system for algebraic simplification. In Melvin Klerer, Juris Reinfelds, editors, Proceedings of the ACM Symposium on Interactive Systems for Experimental Applied Mathematics, Washington, D.C., USA, August 1, 1967. pages 79-90, ACM, 1967. [doi]