Vol. 328. Buchi, J. Richard; Siefkes, Dirk 
Decidable Theories II: The Monadic Second Order Theory of all Countable Ordinals 
QA9.65 B8