Manna Zohar Logical basis for computer programming - Reading Addison-Wesley Pub 1985 - xii, 618p. cm. - Addison-Wesley series in computer sciences . Bibliography 579-581p Standard No.: 41101 Source: Textual Subjects--Topical Terms: Computer program languageComputer science Dewey Class. No.: D65,8(B)92, M5.2