The Free On-line Dictionary of Computing (30 December 2018):

CAYLEY

    A symbolic mathematics system
   for group theory written by John Cannon of the University
   of Sydney, Australia in 1976.

   Cayley was used at about 100 sites but has been superseded by
   a much more general system, Magma.

   ["An Introduction to the Group Theory Language CAYLEY", J.
   Cannon, Computational Group Theory, M.D. Atkinson ed, Academic
   Press 1984, pp. 148-183].

   (2000-09-03)