Text this: Computational and experimental group theory [electronic resource] : AMS-ASL joint special session, interactions between logic, group theory, and computer science, January 15-16, 2003, Baltimore, Maryland / Alexandre V. Borovik, Alexei G. Myasnikov, editors.