Journal: Communications of the ACM

Volume 19, Issue 4

171 -- 174Oliver R. Smoot. Development of an International System for Legal Protection of Computer Programs
175 -- 181Bennet P. Lientz. A Comparative Evaluation of Versions of BASIC
182 -- 187J. Raymond. LG: A Language for Analytic Geometry
188 -- 206Shmuel Katz, Zohar Manna. Logical Analysis of Programs