Buchis monadic second order successor arithmatic - Siefkes, Dirk (Berlin Springer-Verlag, 1970)