Buchi's monadic second order successor arithmetic Dirk Siefkes. - Siefkes, Dirk (Lecture notes in mathematics (Springer-Verlag) ;, 1970)