Buchi's monadic second order successor arithmetic - Siefkes, Dirk (Springer, 1964)