D. Holt,
The Warwick Automatic groups software.
    In: "Geometric and Computational Perspectives on Infinite Groups",
    Gilbert Baumslag, David Epstein, Robert Gilman, Hamish Short,
    Charles Sims (eds.), DIMACS Series in
    Discrete Mathematics and Theoretical Computer Science 25, AMS 1995, 69-82.