Source : Free On-Line Dictionary of Computing

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].
     
        Current version: V3.7, for {Sun}, {Apollo}, {VAX}/{VMS}.
     
        (2000-09-03)