A universal two-way automation. D.L. Kreider; R.W. Ritchie — 1971 Archiv für mathematische Logik und Grundlagenforschung