Johnson. A Characterization of Compact Groups. JSTOR, 1979, doi:10.2307/2043169.