Classifying spaces in surgery theory were first used by Sullivan and Casson in their (independent) unpublished work on the Hauptvermutung for PL manifolds. In his 1968 Ph.D. thesis, F. Quinn developed a general theory of surgery classifying spaces, realizing the Wall surgery gro…