CAYLEY

John Cannon, University Sydney, Australia, 1976

A language for doing symbolic mathematics, especially group theory.

"An Introduction to the Group Theory Language CAYLEY", J. Cannon in Computational Group Theory, Proceedings of the London Mathematical Society Symposium on Computational Group Theory, Michael D. Atkinson ed, Academic Press, 1984, pp.148-183.