The finite simple groups and their classification / - Aschbacher, Michael (Yale University Press, 1980)