Cannon, J.J. "A general purpose group theory program" pp204-217

Proceedings 2nd Internal. (1974) Proceedings 2nd Internal. Conference Theory of Groups. Lecture Notes in Math., Vol. 372, Springer, Berlin, 1974  

Languages mentioned CAYLEY {1975} Symbolic maths for group theory