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

CAMAL

    CAMbridge ALgebra system.

   A symbolic mathematics system used in Celestial Mechanics
   and General Relativity.  CAMAL was implemented in BCPL on
   Titan.

   ["CAMAL User's Manual", John P. Fitch, Cambridge U, England
   (1975)].

   ["The Design of the Cambridge Algebra System", S.R. Bourne et
   al, Proc 2nd Symp of Symb & Alg Manip, SIGSAM 1971].

   (1995-02-16)