Petr Kurka Zero-Dimensional Dynamical Systems, Formal Languages, and Universality. 423-433 1999 32 Theory Comput. Syst. 4 http://link.springer.de/link/service/journals/00224/bibs/32n4p423.html db/journals/mst/mst32.html#Kurka99