The mixed powerdomain
scientific article; zbMATH DE number 94463
scientific article