The expressive power of first-order topological languages
scientific article; zbMATH DE number 6231640