A metrization theorem for countably compact spaces Bennet, Harold R.; Martin, Harold W. — 1977 Portugaliae mathematica