Arbib, Michael A. A basis for theoretical computer science / Michael A. Arbib, A.J. Kfoury, Robert N. Moll - New York : Springer-Verlag, 1981 - viii, 220 p. : ill. ; 24 cm. - Texts and monographs in computer science . ISBN: 0387905731 LCCN: 81-5688 Subjects--Topical Terms: Machine theoryFormal languages