Paracompactness of topological completions
Volume 92 / 1976
Fundamenta Mathematicae 92 (1976), 65-77
DOI: 10.4064/fm-92-1-65-77