Legal protection of software: a survey / M.C. Gemignani --Algorithms for public key cryptosystems: theory and applications / S. Lakshmivarahan -- Software engineering environments / A.I. Wasserman --Principles of rule-based expert systems / B.G. Buchanan and R.O. Duda --Conceptual representation of medical knowledge for diagnosis by computer: MDX and related systems / B. Chandrasekaran and S. Mittal -- Specification and implementation of abstract data types / A.T. Berztiss and S. Thatte.