FORMAC
FORmula MAnipulation Compiler
Jean Sammet & Tobey, IBM Boston APD, 1962
An extension of Fortran for doing symbolic mathematics.
"Introduction to FORMAC", Jean E. Sammet et al, IEEE Transactions on Electronic Computers (Aug 1964).
PL/I-FORMAC,
FORMAC73.