Decidable Theories Vol. 2: the Monadic Second Order Theory of All Countable Ordinals - Büchi, J. R. (Lecture Notes in Mathematics Ser.)