1. Büchi, J.R.: On a decision method in restricted second order arithmetic. In: Proceedings of the 1960 International Congress for Logic, pp. 1–11. Stanford Univ. Press, Stanford (1962)
2. Calude, C.S., Marcus, S., Staiger, L.: A topological characterization of random sequences. Inform. Process. Lett. 88, 245–250 (2003)
3. Calude, C.S., Jürgensen, H., Staiger, L.: Topology on words. Theoret. Comput. Sci. 410, 2323–2335 (2009)
4. Diekert, V., Kufleitner, M.: Fragments of first-order logic over infinite words. In: Albers, S., Marion, J.-Y. (eds.) Proceedings of the STACS 2009, pp. 325–336. Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2009)
5. Engelking, R.: General Topology. Państwowe wydawnictwo naukowe, Warszawa (1977)