Finite groups whose 2-subgroups are generated by at most 4 elements
Daniel Gorenstein
The classification of the finite simple groups