CAMAL
CAMbridge ALgebra system
A language for symbolic mathematics, particularly Celestial Mechanics and General Relativity. First implemented in assembly language on the Titan computer, later in BCPL.
"CAMAL User's Manual", John P. Fitch, Cambridge University, England (1975).
"The Design of the Cambridge Algebra System", S. R. Bourne et al, Proceedings of the 2nd Symposium of Symbolic and Algebraic Manipulation, SIGSAM 1971.
A user-contributed package for