Current Trends in Computer Programming

Computer Programming and Formal Systems

Edited by P. Braffort and D. Hirschberg. (Studies in Logic and the Foundations of Mathematics.) Pp. v + 161. (Amsterdam: North-Holland Publishing Company, 1963.) 40s.

A Programming Language

By Kenneth E. Iverson. Pp. xxi + 286. (New York and London: John Wiley and Sons, Inc., 1962.) 68s.

An Introduction to Symbolic Programming

By Peter Wegner. (Griffin's Statistical Monographs and Courses, No. 11.) Pp. 219. (London: Charles Griffin and Company, Ltd., 1963.) 38s.

Programming Systems for Electronic Computers

By Prof. D. N. Chorafas. Pp. xvi + 188. (London: Butterworth and Co. (Publishers), Ltd., 1962.) 50s.

Annual Review in Automatic Programming

Vol. 3. Edited by Richard Goodman, assisted by R. M. Paine, C. Strachey and M. Woodger. (International Tracts in Computer Science and Technology and their Application, Vol. 11.) Pp. viii + 360. (London and New York: Pergamon Press, 1963.) 80s. net.

Computer Language

An Autoinstructional Introduction to Fortran. By Harry L. Colman and Clarence Smallwood. Pp. xiv + 196. (New York, San Francisco, Toronto and London: McGraw-Hill Book Company, Inc., 1962.) 31s.

A Primer of ALGOL 60 Programming

With a Report on the Algorithmic Language ALGOL 60. By E. W. Dijkstra. (A.P.I.C. Studies in Data Processing, No. 2.) Pp. xi + 114. (London: Academic Press, Inc. (London), Ltd.; New York: Academic Press, Inc., 1962. Published for the Automatic Programming Information Centre.) 30s. net.