1. J. Berstel and J. Karhumäki,Combinatorics on Words – A Tutorial.TUCS Technical Report (No 530, June) (2003).
2. J.R. Büchi,On a Decision Method in Restricted Second Order Arithmetic, inProc. Internat. Congr. on Logic, Methodology and Philosophy of Science, edited by E. Nagelet al., Stanford Univ. Press, Stanford, CA (1960) 1–11.
3. J. Dassow,Completeness Problems in the Structural Theory of Automata.Mathematical Research (Band 7), Akademie–Verlag, Berlin (1981).
4. B.A. Davey and H.A. Priestley,Introduction to Lattices and Order.Cambridge University Press (2002).
5. Uniqueness theorems for periodic functions