Butler G. and Cannon J.J., "The design of Cayley, a language for modern algebra" pp10-19

(1990) Alfonso Miola, editor, Proceedings Design and Implementation of Symbolic Computation (DISCO 90), volume 429 of Springer LNCS, pages 205-214, April 1990  

Languages mentioned CAYLEY {1975} Symbolic maths for group theory