1. Adams, J. C.: 1877,Monthly Notices Roy. Astron. Soc. 38, 43?49.
2. Barton, D.: 1966, ?A New Technique for the Lunar Theory?, Ph.D. Thesis, Cambridge University.
3. Bourne, S. R.: 1969, ?Automatic Algebraic Manipulation and its Application to the Lunar Theory?, Ph. D. Thesis, Cambridge University.
4. Bourne, S. R. and Horton, J. R.: 1971a,The CAMAL System Manual, Computer Laboratory, University of Cambridge.
5. Bourne, S. R. and Horton, J. R.: 1971b,The Design of the Cambridge Algebra System, Proc. SYMSAM II.