A general realcompactification method
Tom 67 / 1970
Fundamenta Mathematicae 67 (1970), 255-263
DOI: 10.4064/fm-67-2-255-263