TY - BOOK AU - Arbib,Michael A. AU - Kfoury, A. J. TI - A basis for theoretical computer science T2 - Texts and monographs in computer science SN - 0-387-90573-1 AV - QA267 A713 PY - 1981/// CY - New York PB - Springer Verlag KW - Lenguajes formales KW - Teoría de las máquinas ER -