List of references used in the project [Holt2005] D. F. Holt, B. Eick, and E. A. O’Brien, Handbook of Computational Group Theory. CRC Press, 2005.