Coding in the existential theory of concatenation. J. R. Büchi; St. Senger — 1987 Archiv für mathematische Logik und Grundlagenforschung