Cannon: , J.J. "Software tools for group theory". Proceedings of a Symposium in Pure Mathematics, 37, American Mathematical Society, Providence, R.I. 1981.
(1981)
Languages mentioned
CAYLEY
{1975} Symbolic maths for group theory