Toner, R. G., Bobrow, R. J., AND Zilles, S.N. "Automatic simplification in FORMAC"

[AFIPS JCC 28] (1965) [AFIPS JCC 28] Proceedings of the 1965 Fall Joint Computer Conference FJCC 1965  

Languages mentioned FORMAC {1962} FORmula MAnipulation Compiler