Arithmetische Prädikate über einem Bereich endlicher Automaten. Th. Ottmann — 1974 Archiv für mathematische Logik und Grundlagenforschung