A category of compositional domain-models for separable Stone spaces.
scientific article; zbMATH DE number 1857126