1. Barton, D., Bourne, S.R., Burgess, C.J.: A Simple Algebra System. Computer Journal 11, 293–298 (1968)
2. Barton, D.: A New Approach to the Lunar Theory. PhD thesis, University of Cambridge, 196
3. Bourne, S.R.: Automatic Algebraic Manipulation and its Applications to the Lunar Theory. PhD thesis, University of Cambridge (1970)
4. Bourne, S.R., Horton, J.R.: The CAMAL System Manual. The Computer Laboratory, University of Cambridge (1971)
5. Bourne, S.R., Horton, J.R.: The Design of the Cambridge Algebra System. In: Proceedings of SYMSAM/2, pp. 134–143. SIGSAM/ACM (1971)