SAC-1

An early symbolic mathematics system, written in Fortran by G.E. Collins.

[Proc 2nd Symp Symb Alg Manip pp.144-152 (1971)].