Completely regular paracompact reflection of locales
scientific article; zbMATH DE number 5118310