Probabilistic power domains, information systems, and locales
scientific article; zbMATH DE number 7680651