Computational and experimental group theory : - Borovik, Alexandre; Myasnikov, Alexei G. 1955- (Contemporary mathematics (American Mathematical Society) ;, 2004)