A universal characterization of the double powerlocale
scientific article; zbMATH DE number 2081193
scientific article