Groups, languages, algorithms - Borovik, Alexandre V. (USA AMS, 2005)