Büchi's monadic second order successor arithmetic - Siefkes, Dirk (Springer-Verlag, 1970)