Buchi's monadic second order successor arithmatic - Siefkes Dirk (Berlin Springer-Verlag, 1970)
Bibliography 125-127p
Keywords: Operational research