Automatic structures, Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332), pp.51-62, 2000. ,
DOI : 10.1109/LICS.2000.855755
On Relations Defined by Generalized Finite Automata, IBM Journal of Research and Development, vol.9, issue.1, pp.47-68, 1965. ,
DOI : 10.1147/rd.91.0047
Synchronized rational relations of finite and infinite words, Theoretical Computer Science, vol.108, issue.1, pp.45-82, 1993. ,
DOI : 10.1016/0304-3975(93)90230-Q
Stirling Rational graphs trace context-sensitive langages, MFCS, vol.26, 2001. ,
DOI : 10.1007/3-540-44683-4_48
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.157.6796
The theory of ends, pushdown automata, and second-order logic, Theoretical Computer Science, vol.37, pp.51-75, 1985. ,
DOI : 10.1016/0304-3975(85)90087-8