The classification of the finite simple groups Vol. 1-6 (Providence, R.I. : American Mathematical Society, 1994)