Barton, D. and Fitch, J.P. "General Relativity and the Application of Algebraic Manipulative Systems"

[ACM] (1971) [ACM] CACM 14(08) August 1971  

Languages mentioned ALAM {1967} Atlas LISP Algebraic Manipulation ALBERT {1969} CAMAL {1968} CAMbridge ALgebra system Clemens and Matzner {1967} Formac extensions for GR FORMAC {1962} FORmula MAnipulation Compiler GRAD Assistant {1965} A LISP program to do algebraic manipulation IAM {1968} Interactive Algebraic Manipulation MATHLAB 68 {1967} Second release of MATHLAB REDUCE {1963}