Buchi's Monadic Second Order Successor Arithmetic - Siefkes, Dirk (Berlin Springer, 1970)