nLab
Hopkins-Miller theorem

References