Covering rough sets and formal topology -- a uniform approach through intensional and extensional constructors
scientific article; zbMATH DE number 6966695