The monadic second order theory of all countable ordinals - Büchi, Julius Richard 1924-1984; Siefkes, Dirk 1938-2016 (Springer, 1973)