The Free On-line Dictionary of Computing (30 December 2018):

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)