Filtral pretoposes and compact Hausdorff locales
scientific article; zbMATH DE number 7940408