The recursive sets in certain monadic second order fragments of arithmetic. Dirk Siefkes (1975) Archiv für mathematische Logik und Grundlagenforschung