The Free On-line Dictionary of Computing (19 January 2023):

SAC-1

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

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

   (1995-04-12)