Genesereth, Michael R. "An Automated Consultant for MACSYMA" p789

[Proceedings] (1977) Proceedings of the 5th International Joint Conference on Artificial Intelligence IJCAI-77, MIT, Cambridge, Mass., August, 1977  

Languages mentioned MACSYMA {1969} Symbolic math system