Büchi's Monadic Second Order Successor Arithmetic - Siefkes, Dirk. (Springer Berlin Heidelberg,)