The monadic second order theory of all countable ordinals - Büchi, J. Richard (Springer, 1973)