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].