Groups, Languages and Algorithms - Borovik,A., Ed (AMS: USA, 2005)