1

Some meditations ors advanced programruing, Proceedings of Ibe IFfP Coagres 1962, 53553g; Programmirg considered as a human activity, Proceedings of the IFIP Congres 1965, 213-217.

2

Solution of a probbm in corcurrem pro graming, control, CACM 8 (Smpt, 1965), 569; The structtre of the "THE" multiprogramming system, CACM 11 (May, I968), 341346,

3

Edsger W. Dijkstra, Letters to the editor: go to statement considered harmful, Communications of the ACM, v.11 n.3, p.147-148, March 1968  [doi>10.1145/362929.362947]

4

A short introduction to The art of computer programming, Technische Hoge school, Eindhover L 1971.

Stephen R. Schach, Testing: principles and practice, ACM Computing Surveys (CSUR), v.28 n.1, p.277-279, March 1996

Joe K. Clema, General purpose tools for system simulation, Proceedings of the 11th annual symposium on Simulation, p.37-60, March 15-17, 1978, Tampa, Florida, United States

Philip S. Abrams, What's wrong with APL?, Proceedings of seventh international conference on APL, p.1-8, June 11-13, 1975, Pisa, Italy

John A. Anderson, Technology insertion: establishing an object-oriented life-cycle methodology, Proceedings of the seventh Washington Ada symposium on Ada, p.163-171, July 1990, McLean, Virginia, United States

Richard Naugle, APL compilation and interpretation by translating to F83VEC, ACM SIGAPL APL Quote Quad, v.16 n.4, p.164-171, 1986

Loren P. Meissner, A method to expose the hidden structure of Fortran programs, Proceedings of the 1974 annual conference, p.193-198, January 1974

Harlan D. Mills, How to write correct programs and know it, ACM SIGPLAN Notices, v.10 n.6, p.363-370, June 1975

Clay McFarland, Structured microprogramming, Supplement to the conference record of the 7th annual workshop on Microprogramming, p.28-32, January 1974

Robert L. Ashenhurst, ACM Forum, Communications of the ACM, v.18 n.6, p.358-362, June 1975

B. L. Clark , J. J. Horning, Reflections on a language designed to write an operating system, ACM SIGPLAN Notices, v.8 n.9, p.52-56, September 1973

Brad A. Myers, INCENSE: A system for displaying data structures, ACM SIGGRAPH Computer Graphics, v.17 n.3, p.115-125, July 1983

CORPORATE Tech Correspondence, Technical correspondence, Communications of the ACM, v.33 n.5, p.584-586, May 1990

Peter Naur, Programming languages, natural languages, and mathematics, Communications of the ACM, v.18 n.12, p.676-683, Dec. 1975

L. E. Winslow , J. E. Lang, Ada in CS1, ACM SIGCSE Bulletin, v.21 n.1, p.209-212, Feb. 1989

B. M. Leavenworth, Incremental program testing in a very high level language, Proceedings of the annual conference, p.499-503, October 20-22, 1976, Houston, Texas, United States

Hassan Gomaa , Douglas B.H. Scott, Prototyping as a tool in the specification of user requirements, Proceedings of the 5th international conference on Software engineering, p.333-342, March 09-12, 1981, San Diego, California, United States

Donald E. Knuth, Structured Programming with go to Statements, ACM Computing Surveys (CSUR), v.6 n.4, p.261-301, Dec. 1974

Timothy A. Budd , Rajeev K. Pandey, Compiling APL for parallel and vector execution, ACM SIGAPL APL Quote Quad, v.21 n.4, p.80-87, Aug. 1991

E. A. Feustel, Tagged architecture and the semantics of programming languages: Extensible types, ACM SIGARCH Computer Architecture News, v.4 n.4, p.147-150, January 1976

G. D. Bergland, Structured design methodologies, Proceedings of the 15th conference on Design automation, p.475-493, June 19-21, 1978, Las Vegas, Nevada, United States

Brian W. Kernighan , P. J. Plauger, Programming Style: Examples and Counterexamples, ACM Computing Surveys (CSUR), v.6 n.4, p.303-319, Dec. 1974

Niklaus Wirth, On the Composition of Well-Structured Programs, ACM Computing Surveys (CSUR), v.6 n.4, p.247-259, Dec. 1974

John H. Pinc , Earl J. Schweppe, A Fortran language anticipation and prompting system, Proceedings of the annual conference, p.183-187, August 27-29, 1973, Atlanta, Georgia, United States

Daniel E. Jones, Structured programming and FORTRAN, Proceedings of the 14th annual Southeast regional conference, April 22-24, 1976, Birmingham, Alabama

Jean-Pierre Banâtre , Daniel Le Métayer, Programming by multiset transformation, Communications of the ACM, v.36 n.1, p.98-111, Jan. 1993

Allan M. Stavely, Design feedback and its use in software design aid systems, ACM SIGSOFT Software Engineering Notes, v.3 n.5, p.72-78, November 1978

Garth H. Foster, What lies beyond the branch arrow?, Proceedings of seventh international conference on APL, p.115-122, June 11-13, 1975, Pisa, Italy

Theodore A. Linden, The use of abstract data types to simplify program modifications, ACM SIGMOD Record, v.8 n.2, p.12-23, March 1976

Susan M. Merritt, On the importance of teaching PASCAL in the IS curriculum, ACM SIGCSE Bulletin, v.12 n.1, p.88-91, February 1980

Garth H. Foster, On the locus of program flow within and among secondary functions, ACM SIGAPL APL Quote Quad, v.9 n.4, p.333-339, June 1979

Ivan M. Campos , Gerald Estrin, Concurrent software system design supported by SARA at the age of one, Proceedings of the 3rd international conference on Software engineering, p.230-242, May 10-12, 1978, Atlanta, Georgia, United States

David R. Hanson , Ralph E. Griswold, The SL5 procedure mechanism, Communications of the ACM, v.21 n.5, p.392-400, May 1978

Conal Elliott, Declarative event-oriented programming, Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming, p.56-67, September 20-23, 2000, Montreal, Quebec, Canada

R. Infante , U. Montanary, Proving structured programs correct, level by level, ACM SIGPLAN Notices, v.10 n.6, p.427-436, June 1975

Masud Ahmad Malik, Technical opinion: on the perils of programming, Communications of the ACM, v.43 n.12, p.95-97, Dec. 2000

M. H. Halstead, Toward a theoretical basis for estimating programming effort, Proceedings of the 1975 annual conference, p.222-224, January 1975

Russell J. Abbott, Program design by informal English descriptions, Communications of the ACM, v.26 n.11, p.882-894, Nov. 1983

Ivan M. Campos , Gerald Estrin, Specialization of SARA for software synthesis, Proceedings of the Symposium on Design Automation and Microprocessors, p.87-94, February 24-25, 1977

Mitchell Wand, An unusual application of program-proving, Proceedings of the fifth annual ACM symposium on Theory of computing, p.59-66, April 30-May 02, 1973, Austin, Texas, United States

Susan L. Gerhart , Richard J. Orgass, A proposal for a handbook for APL program verification, ACM SIGAPL APL Quote Quad, v.5 n.4, Winter 1974

M. M. Lehman , J. F. Ramil, Evolution in software and related areas, Proceedings of the 4th International Workshop on Principles of Software Evolution, September 10-11, 2001, Vienna, Austria

Andrew S. Tanenbaum, In defense of program testing or correctness proofs considered harmful, ACM SIGPLAN Notices, v.11 n.5, p.64-68, May 1976

Thomas H. Puckett, New Mexico State University enhancements to APL\360, ACM SIGAPL APL Quote Quad, v.4 n.2, January 1973

Olivier Lecarme, Structured programming, programming teaching and the language Pascal, ACM SIGPLAN Notices, v.9 n.7, p.15-21, July 1974

Lem O. Ejiogu, OPUS #16G software structure: its characteristic polynomials, ACM SIGPLAN Notices, v.19 n.12, p.27-34, December 1984

Anthony I. Wasserman, Issues in programming language design: an overview, ACM SIGPLAN Notices, v.10 n.7, July 1975

Charles Zhang , Hans-Arno Jacobsen, Resolving feature convolution in middleware systems, ACM SIGPLAN Notices, v.39 n.10, October 2004

Peter R. Newsted , Wing-Keen Leong , Joanna Yeung, The impact of programming styles on debugging efficiency, ACM SIGSOFT Software Engineering Notes, v.6 n.5, p.14-18, October 1981

Leonard H. Weiner, The roots of structured programming, ACM SIGCSE Bulletin, v.10 n.1, February 1978

J. M. Yohe, Comments on the topic “programming, and its implication on programming languages”, Proceedings of the 1975 annual conference, p.219-220, January 1975

Timothy A. Budd, An APL Compiler for a Vector Processor, ACM Transactions on Programming Languages and Systems (TOPLAS), v.6 n.3, p.297-313, July 1984

Wolfgang K. Giloi, Konrad Zuse's Plankalkül: The First High-Level, "non von Neumann" Programming Language, IEEE Annals of the History of Computing, v.19 n.2, p.17-24, April 1997

Joyce Currie Little , Richard H. Austing , Harice Seeds , John Maniotes , Gerald L. Engel, Curriculum recommendations and guidelines for the community and junior college career program in computer programming: a working paper of the Association for Computing Machinery committee on curriculum in computer sciences by the sub committee on community and junior college curriculum, ACM SIGCSE Bulletin, v.9 n.2, June 1977

Loren P. Meissner , Ruth L. Hinkins, B4Tran: A structured mini-language approach to the teaching of Fortran, ACM SIGCSE Bulletin, v.7 n.1, p.200-205, February 1975

Edward V. Berard, Ada education is a moving target, ACM SIGAda Ada Letters, v.IV n.1, p.45-49, July-August 1984

Giorgio Misuri, Survey of existing programming aids, ACM SIGPLAN Notices, v.11 n.8, August 1976

Richard H. Karpinski, An unstructured view of structured programming, ACM SIGPLAN Notices, v.9 n.3, March 1974

G. Michael Schneider, The introductory programming course in computer science: ten principles, ACM SIGCSE Bulletin, v.10 n.1, February 1978

Michael L. Cook, Software metrics: an introduction and annotated bibliography, ACM SIGSOFT Software Engineering Notes, v.7 n.2, p.41-60, April 1982

Isao Miyamoto, “Software reliability in online real time environment”, ACM SIGPLAN Notices, v.10 n.6, p.194-203, June 1975

Robert A. Kelley , John R. Walters, APLGOL-2 a structured programming language system for APL, Proceedings of the sixth international conference on APL, p.275-280, January 1974

Wolfgang K. Giloi, On high-level programming systems for structured display programming, ACM SIGGRAPH Computer Graphics, v.9 n.1, p.61-69, Spring 1975

Olivier Lecarme , Pierre Desjardins, Reply to a paper by A. N. Habermann on the programming language Pascal, ACM SIGPLAN Notices, v.9 n.10, p.21-27, October 1974

Cliff B. Jones, The Early Search for Tractable Ways of Reasoning about Programs, IEEE Annals of the History of Computing, v.25 n.2, p.26-49, April 2003

Francisco Heron de Carvalho , Rafael Dueire Lins, The # model: separation of concerns for reconciling modularity, abstraction and efficiency in distributed parallel programming, Proceedings of the 2005 ACM symposium on Applied computing, March 13-17, 2005, Santa Fe, New Mexico

Hridesh Rajan , Kevin J. Sullivan, Classpects: unifying aspect- and object-oriented language design, Proceedings of the 27th international conference on Software engineering, May 15-21, 2005, St. Louis, MO, USA

C. W. Johnson , Ian Barnes, Redesigning the intermediate course in software design, Proceedings of the 7th Australasian conference on Computing education, p.249-258, January 01, 2005, Newcastle, New South Wales, Australia

Charles Zhang , Dapeng Gao , Hans-Arno Jacobsen, Towards just-in-time middleware architectures, Proceedings of the 4th international conference on Aspect-oriented software development, p.63-74, March 14-18, 2005, Chicago, Illinois

Yanhong A. Liu , Scott D. Stoller , Michael Gorbovitski , Tom Rothamel , Yanni Ellen Liu, Incrementalization across object abstraction, ACM SIGPLAN Notices, v.40 n.10, October 2005

Roman Danylak , Ernest Edmonds, The interactive game: origins and effects, Proceedings of the second Australasian conference on Interactive entertainment, p.65-69, November 23-25, 2005, Sydney, Australia

Grady Booch, Object-oriented design, ACM SIGAda Ada Letters, v.I n.3, p.64-76, March/April 1982

Stowe Boyd, Free and bound generics: two techniques for abstract data types in modular C, ACM SIGPLAN Notices, v.19 n.3, p.12-20, March 1984

Daniel Hoffman, On Criteria for Module Interfaces, IEEE Transactions on Software Engineering, v.16 n.5, p.537-542, May 1990

Peter Naur, Programming languages, natural languages, and mathematics, Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.137-148, January 20-22, 1975, Palo Alto, California

Walter W. Wilson, Beyond PROLOG: software specification by grammar, ACM SIGPLAN Notices, v.17 n.9, p.34-43, September 1982

Tom Verhoeff, The IOI is (not) a science olympiad, Informatics in education, v.5 n.1, p.147-159, January 2006

Matthew John Squair, Issues in the application of software safety standards, Proceedings of the 10th Australian workshop on Safety critical systems and software, p.13-26, August 25, 2005, Sydney, Australia

N. Wirth, On the composition of well-structured programs, Classics in software engineering, Yourdon Press, Upper Saddle River, NJ, 1979

E. F. Miller , G. E. Lindamood, Structured programming: top-down approach, Classics in software engineering, Yourdon Press, Upper Saddle River, NJ, 1979

B. W. Kernighan , P. J. Plauger, Programming style: examples and counterexamples, Classics in software engineering, Yourdon Press, Upper Saddle River, NJ, 1979

Joseph C. Carnahan , Paul F. Reynolds, Jr. , David C. Brogan, Simulation-specific characteristics and software reuse, Proceedings of the 37th conference on Winter simulation, December 04-07, 2005, Orlando, Florida

Nels E. Beckman , Aditya V. Nori , Sriram K. Rajamani , Robert J. Simmons, Proofs from tests, Proceedings of the 2008 international symposium on Software testing and analysis, July 20-24, 2008, Seattle, WA, USA

F. T. Baker , H. D. Mills, Chief programmer teams, Classics in software engineering, Yourdon Press, Upper Saddle River, NJ, 1979

D. Knuth, Structured programming with go to statements, Classics in software engineering, Yourdon Press, Upper Saddle River, NJ, 1979

Andrew Ireland , Jamie Stark, Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis, Automated Software Engineering, v.13 n.1, p.65-105, January 2006

Meir M. Lehman , Juan F. Ramil, Software Evolution and Software Evolution Processes, Annals of Software Engineering, v.14 n.1-4, p.275-309, December 2002

V. Dagdilelis , M. Satratzemi, Post's Machine: A Didactic Microworld as an Introduction to Formal Programming, Education and Information Technologies, v.6 n.2, p.123-141, June 2001

Frederick Hosch, Java as a first language: an evaluation, ACM SIGCSE Bulletin, v.28 n.3, p.45-50, Sept. 1996

Robert Freiburghouse , Barbara Liskov, Report of session on structured programming, ACM SIGPLAN Notices, v.8 n.9, p.5-10, September 1973

Frederick A. Hosch, Some comments on the role of computer science education, ACM SIGCSE Bulletin, v.5 n.3, p.13-17, Sept. 1973

A. F. Bardos, Programmers' mass education at Számok, ACM SIGCSE Bulletin, v.8 n.2, p.41-44, June 1976

Jens Bennedssen , Michael E. Caspersen, Abstraction ability as an indicator of success for learning computing science?, Proceeding of the fourth international workshop on Computing education research, p.15-26, September 06-07, 2008, Sydney, Australia

Peter J. Denning, The profession of IT
Voices of computing, Communications of the ACM, v.51 n.8, August 2008

Roelof Hamberg , Frits Vaandrager, Using model checkers in an introductory course on operating systems, ACM SIGOPS Operating Systems Review, v.42 n.6, October 2008

Anthony I. Wasserman, Issues in programming language design: an overview, Proceedings of the May 19-22, 1975, national computer conference and exposition, May 19-22, 1975, Anaheim, California

David M. Sherr, A proposed non-procedural programming language for structured system development, Proceedings of the 1974 annual ACM conference, January 01-01, 1974

Peter M. Neely, On the need for a scientific programming language, Proceedings of the 1974 annual ACM conference, January 01-01, 1974

Edsger W. Dijkstra: colleagues