1. Calude, C.S., Marcus, S., Staiger, L.: A topological characterization of random sequences. Inform. Process. Lett. 88, 245–250 (2003)
2. Calude, C.S., Jürgensen, H., Staiger, L.: Topology on words. Theoret. Comput. Sci. 410, 2323–2335 (2009)
3. Diekert, V., Kufleitner, M.: Fragments of first-order logic over infinite words. In: Albers, S., Marion, J.-Y. (eds.) Proceedings of STACS 2009, Freiburg, Germany, February 26-28, pp. 325???336 (2009);
4. Online proceedings at DROPS and HAL
5. Engelking, R.: General Topology. Państwowe wydawnictwo naukowe, Warszawa (1977)