MICHAEL A ARBIB; KFOURY AJ; ROBERT N MOLL A BASIS FOR THEORETICAL COMPUTER SCIENCE - SPRINGER INC 1984 - 220 ISBN: 0540905731 Subjects--Topical Terms: COMPUTER SCIENCE GENERAL Dewey Class. No.: 004 / MIC