Conlusions

American National Standard COBOL (ANS X3.23-1968), American National Standards Institute, New York, 1968.Google Scholar

American National Standard FORTRAN (ANS X3.9-1966), American National Standards Institute, New York, 1966.Google Scholar

American National Standard Programming Language PL/I (ANS X3.53-1976), American National Standards Institute, New York, 1977.Google Scholar

Birtwistle, Graham M., Ole-Johan Dahl, Bjørn Myhrhaug & Kristen Nygaard, SIMULA BEGIN, Auerbach Publishers, Philadelphia, 1973.Google Scholar

Bobrow, Daniel G. & Bertram Raphael, New Programming Languages for Artificial Intelligence Research, Computing Surveys, vol. 6, no. 3, September 1974, pp. 155–174.Google Scholar

Church, Alonzo, The Calculi of Lambda-Conversion, Princeton University Press, Princeton, 1941.Google Scholar

Dahl, Ole-Johan, Edsger W. Dijkstra & C. A. R. Hoare, Structured Programming, Academic Press, New York, 1972.Google Scholar

Dennis, Jack B., First Version of a Data Flow Procedure Language, Proceedings of a Symposium on Programming, Institut de Programmation, University of Paris, Paris, France, April 1974, pp. 241–271.Google Scholar

Griswold, Ralph E., J. F. Poage & I. P. Polonsky, The SNOBOL4 Programming Language, second edition, Prentice-Hall, Inc., Englewood Cliffs, New Jersey, 1971.Google Scholar

Guttag, John V., The Specification and Application to Programming of Abstract Data Types, Technical Report CSRG-59, Computer Science Research Group, University of Toronto, Toronto, Canada, September 1975.Google Scholar

Hoare, C. A. R. & Peter E. Lauer, Consistent and Complementary Formal Theories of the Semantics of Programming Languages, Acta Informatica, vol. 3, 1974, pp. 135–153.Google Scholar

Iverson, Kenneth E., A Programming Language, John Wiley, New York, 1962.Google Scholar

Jones, Neil D. & Steven S. Muchnick, Binding Time Optimization in Programming Languages: An Approach to the Design of an Ideal Language, Conference Record of the Third ACM SIGACT — SIGPLAN Symposium on Principles of Programming Languages, Atlanta, Georgia, January 1976, pp. 77–94.Google Scholar

Kernighan, Brian W. & Dennis M. Ritchie, The C Programming Language, Prentice-Hall, Englewood Cliffs, N. J., 1978.Google Scholar

Leavenworth, B. M., Syntax Macros and Extended Translation, Communications of the ACM, vol. 9, no. 11, November 1966, pp. 790–793.Google Scholar

Ledgard, Henry, A Model For Type Checking — with an Application to Algol 60, Communications of the ACM, vol. 15, no. 11, November 1972, pp. 956–966.Google Scholar

Liskov, Barbara H. & Stephen N. Zilles, Programming with Abstract Data Types, SIGPLAN Notices, vol. 6, no. 4, April 1974, pp. 50–59.Google Scholar

Marcotty, Michael, Henry F. Ledgard & Gregor V. Bochmann, A Sampler of Formal Definitions, Computing Surveys, vol. 8, no. 2, June 1976, pp. 191–276.Google Scholar

McCarthy, John, Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part 1, Communications of the ACM, vol. 3, no. 4, April 1960, pp. 184–195.Google Scholar

Milne, Robert & Christopher Strachey, A Theory of Programming Language Semantics, Chapman & Hall, London; John Wiley, New York, 1976.Google Scholar

Naur, Peter, et al., Report on the Algorithmic Language ALGOL 60, Communications of the ACM, vol. 3, no. 5, May 1960, pp. 299–314.Google Scholar

Naur, Peter, et al., Revised Report on the Algorithmic Language ALGOL 60, Communications of the ACM, vol. 6, no. 1, January 1963, pp. 1–17.Google Scholar

Pratt, Terrence W., Programming Languages: Design and Implementation, Prentice-Hall, Inc., Englewood Cliffs, New Jersey, 1975.Google Scholar

Richards, Martin, BCPL, A Tool For Compiler Writing and System Programming, 1969 Spring Joint Computer Conference Proceedings, pp. 557–566.Google Scholar

Siklóssy, Laurent, Let's Talk LISP, Prentice-Hall, Inc., Englewood Cliffs, New Jersey, 1976.Google Scholar

Steele, Guy L., Jr., & Gerald J. Sussman, LAMBDA: The Ultimate Imperative, AI Memo No. 353, Massachusetts Institute of Technology, March 1976.Google Scholar

Stoy, Joseph E., Denotational Semantics: The Scott — Strachey Approach to Programming Language Theory, M.I.T. Press, Cambridge, Mass., 1977.Google Scholar

Sussman, Gerald J. & Guy L. Steele Jr., SCHEME: An Interpreter for Extended Lambda Calculus, AI Memo No. 349, Massachusetts Institute of Technology, December 1975.Google Scholar

Teitelman, Warren, INTERLISP Reference Manual, Xerox Palo Alto Research Center, Palo Alto, Calif., 1974.Google Scholar

Tesler, Lawrence G., Horace J. Enea & David C. Smith, The LISP70 Pattern Matching System, Third International Joint Conference on Artificial Intelligence, Stanford, California, August 1973, pp. 671–676.Google Scholar

Wegner, Peter, Data Structure Models for Programming Languages, Proceedings of a Symposium on Data Structures in Programming Languages, SIGPLAN Notices, vol. 6, no. 2, February 1971, pp. 1–54.Google Scholar

van Wijngaarden, A. et al. (ed.), Revised Report on the Algorithmic Language ALGOL 68, Springer — Verlag, Berlin, 1976.Google Scholar

Wirth, Niklaus, Algorithms + Data Structures = Programs, Prentice-Hall, Englewood Cliffs, N.J., 1976.Google Scholar

Wirth, Niklaus, The Programming Language PASCAL, Acta Informatica, vol. 1, no. 1, 1971, pp. 35–63.Google Scholar