BooksdmsCollected Volumepp. 77–86Simple groups in computational group theoryWilliam M. KantorzbMATHMRDownload Chapter PDF