1. Lecture Notes in Computer Science;R Bissell-Siders,2007
2. Mwesigye, F.: Elementary equivalence of linear orders and coloured linear orders, Ph.D. thesis, University of Leeds (2009)
3. Mwesigye, F., Truss, J.K.: Finitely coloured ordinals (in preparation)
4. Rabin, M.O.: Decidability of second-order theories and automata on infinite trees. Trans. Am. Math. Soc. 141, 1–15 (1969)
5. Rosenstein, J.G.: Linear Orderings. Academic, New York (1982)