Johnson, 1979. A Characterization of Compact Groups 74.. https://doi.org/10.2307/2043169