With Daniel Gorenstein and Ronald Solomon he wrote a six volume series on the classification program for finite simple groups, a program in which the three of them were major participants.
Με τον Ντάνιελ Γκορενστείν και τον Ρόναλντ Σολομών έγραψε έξι σε όγκο σειρές στο  πρόγραμμα ταξινόμησης για τις πεπερασμένες απλές ομάδες, ένα πρόγραμμα στο οποίο οι τρεις τους ήταν από τους βασικούς συμμετέχοντες.