Computational And Statistical Group Theory by Robert Gilman, Alexei G. Myasnikov & Vladimir Shpilran