Arbib, Michael A A basis for theoretical computer science / Michael A. Arbib, A.J. Kfoury, Robert N. Moll. - 4th. ed. - New York : Springer-Verlag, c1984 - viii, 220 p. : ill. ; 24 cm - The AKM series in theoretical computer science . Includes indexes ISBN: 0387905731 Subjects--Topical Terms: Computer science LC Class. No.: QA267 / .A715 1984.