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