%0 Journal Article %A D.L. Kreider %A R.W. Ritchie %T A universal two-way automation. %J Archiv für mathematische Logik und Grundlagenforschung %D 1971 %P 49-58 %V 9 %I mathdoc %U http://geodesic.mathdoc.fr/item/AMLG_1971__9_137786/ %F AMLG_1971__9_137786