Büchi's Monadic second order successor arithmetic - Siefkes, Dirk (Lecture Notes in Mathematics, 120. Decidable theories, 1, 1970)