Cannon, John J. "The basis of a computer system for modern algebra"

[ACM] (1981) Proceedings of the Fourth ACM symposium on Symbolic and algebraic computation 1981, Snowbird, Utah, United States  

Languages mentioned CAYLEY {1975} Symbolic maths for group theory