Bourne, S.R. Automatic Algebraic Manipulation and its Application to the Lunar Theory. Ph.D. Thesis, Cambridge University 1970

Languages mentioned

• CAMAL {1968} CAMbridge ALgebra system