Proof mining in topological dynamics
scientific article; zbMATH DE number 5657678