Tobey, R. G. "Significant Problems in Symbolic Mathematics"

Tobey (ed) (1969) Tobey, R. G. (ed) Proceedings of the 1968 Summer Institute on Symbolic Mathematical Computation, IBM Federal Systems Center, Gaithersburg, Maryland, July-August 1968, IBM Programming Laboratory Report No. FSC-69-0312 (proceedings published June 1969).  

Languages mentioned FORMAC {1962} FORmula MAnipulation Compiler