Effective continuities on effective topological spaces
scientific article; zbMATH DE number 5123562