TY - JOUR AU - D.L. Kreider AU - R.W. Ritchie TI - A universal two-way automation. JO - Archiv für mathematische Logik und Grundlagenforschung PY - 1971 SP - 49 EP - 58 VL - 9 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/AMLG_1971__9_137786/ ID - AMLG_1971__9_137786 ER -