Finite simple groups and their classfication - Aschbacher Michael (1980)