The monadic second order theory of all countable ordinals - Büchi, J. Richard; Siefkes, Dirk (Lecture notes in mathematics, 1973)