Computational Group Theory And The Theory Of Groups by