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