1

PETER, R. Graphschemata und rekursive Funktionen. Dialectica 12 (1958), 373-393.

2

Saul Gorn, Specification languages for mechanical languages and their processors a baker's dozen: a set of examples presented to ASA x3.4 subcommittee, Communications of the ACM, v.4 n.12, p.532-542, Dec. 1961  [doi>10.1145/366853.366856]

3

HERMES, H. Aufzghlbarkeit, Entscheidbarkeit, Berechenbarkeit. Springer Verlag, Berlin, 1961.

4

CIAMPA, S. Un'applicazione della teoria dei graft. Atli del Convegno Nazionale di Logica, Torino 5-7 (April 1961), 73-80.

5

RIGUET, J. Programmation et theorie des categories. Proc. ICC Syrup. Symbolic Languages in Data Processing, Gordon and Breach, New York, 1962, 83-98.

6

IANOV, Yu, I. On the equivalence and transformation of program schemes. Dokl. Akad. Nauk SSSR 113, (1957), 39-42. (Russian).

7

ASSER, G. Functional algorithms and graph schema. Z. Math. Logik u. Grundlagen Math., 7, (1961), 20-27.

8

BOHM, C. On a family of Turing machines and the related programming language. ICC Bull. 3, (July 1964), 187-194.

9

BOHM, C., JACOPINI, G. Nuove tecniche di programmazione semplificanti la sintesi di macchine universuli di Turing. Rend. Acc. Naz. Lincei {8}, 32, (June 1962), 913-922.

Jainendra K. Navlakha, REC/SM: a semi structured programming language, Proceedings of the 18th annual Southeast regional conference, March 24-26, 1980, Tallahassee, Florida

Ken Kennedy , Kathryn S. McKinley, Loop distribution with arbitrary control flow, Proceedings of the 1990 conference on Supercomputing, p.407-416, October 1990, New York, New York, United States

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

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

William G. Griswold , David Notkin, Automated assistance for program restructuring, ACM Transactions on Software Engineering and Methodology (TOSEM), v.2 n.3, p.228-269, July 1993

Brenda S. Baker, An algorithm for structuring programs (Extended Abstract), Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages, p.113-126, January 19-21, 1976, Atlanta, Georgia

R. C. T. Lee , S. K. Chang, Structured programming and automatic program synthesis, ACM SIGPLAN Notices, v.9 n.4, p.60-70, April 1974

Guy Lewis Steele, Jr., Debunking the “expensive procedure call” myth or, procedure call implementations considered harmful or, LAMBDA: The Ultimate GOTO, Proceedings of the 1977 annual conference, p.153-162, January 1977

Edward Yourdon, Programmer attitudes and reactions towards programming productivity techniques, Proceedings of the thirteenth annual SIGCPR conference, p.72-84, June 19-20, 1975, Toronto, Ontario, Canada

Lawrence Yelowitz, Derivation of a Path-Connectivity Matrix for Tagged Flowcharts, Journal of the ACM (JACM), v.22 n.1, p.145-154, Jan. 1975

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

Martin E. Hopkins, A case for the GOTO, Proceedings of the ACM annual conference, p.787-790, August 01-01, 1972, Boston, Massachusetts, United States

Joseph E. Lang , Brian R. Bogovich , Sean C. Barry , Brian G. Durkin , Michael R. Katchmar , Jonathan H. Kelly , J. Michael McCollum , Michael Potts, Object-oriented programming and design patterns, ACM SIGCSE Bulletin, v.33 n.4, December 2001

Donald J. Reifer, Automated aids fob reliable software, ACM SIGPLAN Notices, v.10 n.6, p.131-142, June 1975

Robert E. Noonan, Dynamic algebra, Proceedings of the 1974 annual conference, p.326-334, January 1974

Michael B. Feldman, Teaching data abstraction to the practicing programmer: A case study, ACM SIGCSE Bulletin, v.12 n.1, p.9-15, February 1980

Brenda S. Baker , S. Rao Kosaraju, A Comparison of Multilevel break and next Statements, Journal of the ACM (JACM), v.26 n.3, p.555-566, july 1979

Bangqing Li , Baowen Xu , Huiming Yu, Transforming Ada serving tasks into protected objects, ACM SIGAda Ada Letters, v.XVIII n.6, p.240-245, Nov./Dec. 1998

J. Bruno , K. Steiglitz, The Expression of Algorithms by Charts, Journal of the ACM (JACM), v.19 n.3, p.517-525, July 1972

John F. Schrage, Educator's view of structured concepts, Proceedings of the ACM 1980 annual conference, p.327-341, January 1980

Shang-Cheng Chyou, Structure charts and program correctness proofs, Proceedings of the 7th international conference on Software engineering, p.486-498, March 26-29, 1984, Orlando, Florida, United States

R. M. Mattheyses , S. E. Conry, Models for specification and anaysis of parallel computing systems, ACM SIGSIM Simulation Digest, v.11 n.1, p.215-224, Fall 1979

S. Rao Kosaraju, Analysis of structured programs, Proceedings of the fifth annual ACM symposium on Theory of computing, p.240-252, April 30-May 02, 1973, Austin, Texas, United States

E. W. Ziegler, An introduction to the UMTA specification language, ACM SIGPLAN Notices, v.9 n.4, p.127-132, April 1974

J. M. Yohe, An Overview of Programming Practices, ACM Computing Surveys (CSUR), v.6 n.4, p.221-245, Dec. 1974

Anthony G. Middleton, A structured model of programs suitable for analysing time/storage trade-offs, ACM SIGPLAN Notices, v.9 n.9, p.18-28, September 1974

Henry F. Ledgard , Michael Marcotty, A genealogy of control structures, Communications of the ACM, v.18 n.11, p.629-639, Nov. 1975

Brenda S. Baker, An Algorithm for Structuring Flowgraphs, Journal of the ACM (JACM), v.24 n.1, p.98-120, Jan. 1977

J. L. Wagener, Structured FORTRAN programming, ACM SIGCSE Bulletin, v.7 n.1, p.206-211, February 1975

Lawrence J. Mazlack, Introducing subprograms as the first control structure in an introductory course, ACM SIGCSE Bulletin, v.15 n.1, p.265-270, February 1983

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

Johnette Hassell , Victor J. Law, Tutorial on structure charts as an algorithm design tool, ACM SIGCSE Bulletin, v.14 n.1, p.211-223, February 1982

Ronald R. Willis, Structured model development techniques, Proceedings of the 2nd symposium on Simulation of computer systems, p.133-144, June 04-06, 1974, Gaithersburg, Maryland, United States

Edward A. Bender , Jon T. Butler, Enumeration of structured flowcharts, Journal of the ACM (JACM), v.32 n.3, p.537-548, July 1985

B. C. Hodges , J. P. Ryan, A system for automatic software evaluation, Proceedings of the 2nd international conference on Software engineering, p.617-623, October 13-15, 1976, San Francisco, California, United States

James M. Satterfield, Architectural advances of the space shuttle orbiter avionics computer system, ACM SIGARCH Computer Architecture News, v.3 n.4, p.95-98, December 1974

Pierre N. Robillard, Schematic pseudocode for program constructs and its computer automation by SCHEMACODE, Communications of the ACM, v.29 n.11, p.1072-1089, Nov. 1986

J. R. Allen , Ken Kennedy , Carrie Porterfield , Joe Warren, Conversion of control dependence to data dependence, Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.177-189, January 24-26, 1983, Austin, Texas

B. M. Leavenworth, Programming with(out) the GOTO, Proceedings of the ACM annual conference, p.782-786, August 01-01, 1972, Boston, Massachusetts, United States

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

Robert P. Taylor, Teaching programming to beginners, ACM SIGCSE Bulletin, v.9 n.1, p.88-92, Feb 1977

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

Lawrence J. Schutte, A report on the value of some advanced high level language operators on current sequential computers, Proceedings of the ACM-IEEE symposium on High-level-language computer architecture, p.117-123, November 07-08, 1973, College Park, Maryland, United States

Gerard Shabe , Suzanne Peck , Robert Hickey, Team dynamics in systems development and management, Proceedings of the fifteenth annual SIGCPR conference, p.164-189, August 18-19, 1977, Arlington, Virginia, United States

Leon E. Winslow, Problem specification with action machines, ACM SIGCSE Bulletin, v.25 n.1, p.189-192, March 1993

G. David Ripley, A course in effective programming, ACM SIGCSE Bulletin, v.7 n.1, p.102-108, February 1975

Nicholas Beaumont, Is APL2 a good programming language?, ACM SIGAPL APL Quote Quad, v.25 n.4, p.1-10, June 1995

R. J. Lipton , S. C. Eisenstat , R. A. DeMillo, Space and Time Hierarchies for Classes of Control Structures and Data Structures, Journal of the ACM (JACM), v.23 n.4, p.720-732, Oct. 1976

Bernard A. Galler, Letters to the editor: Language protection by trademark ill-advised, Communications of the ACM, v.11 n.3, p.148, March 1968

Eric S. Roberts, Loop exits and structured programming: reopening the debate, ACM SIGCSE Bulletin, v.27 n.1, p.268-272, March 1995

John Beidler, A place for assembler in structured programming, ACM SIGCSE Bulletin, v.9 n.1, p.108-112, Feb 1977

A. Andronico , G. Leoni , E. Luciani, A portable APL translator, Proceedings of seventh international conference on APL, p.20-25, June 11-13, 1975, Pisa, Italy

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

K. W. Kennedy, Node listings applied to data flow analysis, Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.10-21, January 20-22, 1975, Palo Alto, California

D. P. Sanderson , R. Sharma , R. Rozin , S. Treu, The hierarchical simulation language HSL: a versatile tool for process-oriented simulation, ACM Transactions on Modeling and Computer Simulation (TOMACS), v.1 n.2, p.113-153, April 1991

David Harel, On folk theorems, Communications of the ACM, v.23 n.7, p.379-389, July 1980

David D. Riley, Teaching problem solving in an introductory computer science class, ACM SIGCSE Bulletin, v.13 n.1, p.244-251, February 1981

William A. Wulf, A case against the GOTO, Proceedings of the ACM annual conference, p.791-797, August 01-01, 1972, Boston, Massachusetts, United States

Harlan D. Mills, The new math of computer programming, Communications of the ACM, v.18 n.1, p.43-48, Jan. 1975

D. J. Kuck , R. H. Kuhn , D. A. Padua , B. Leasure , M. Wolfe, Dependence graphs and compiler optimizations, Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.207-218, January 26-28, 1981, Williamsburg, Virginia

David R. Hawk, A microinstruction sequencer and language package for structured microprogramming, Proceedings of the 8th annual workshop on Microprogramming, p.69-75, September 21-23, 1975, Chicago, United States

R. J. Lipton , S. C. Eisenstat , R. A. DeMillo, The complexity of control structures and data structures, Proceedings of seventh annual ACM symposium on Theory of computing, p.186-193, May 05-07, 1975, Albuquerque, New Mexico, United States

Allen van Gelder, Structured programming in Cobol: an approach for application programmers, Communications of the ACM, v.20 n.1, p.2-12, Jan. 1977

F. H. Lochovsky , J. S. Hogg , A. O. Mendelzon , S. P. Weiser, OTM: specifying office tasks, ACM SIGOIS Bulletin, v.9 n.2-3, p.46-54, April & July 1988

Ronald S. Lemos, Factionalism versus fraternalism in computing: A plea for the latter, ACM SIGCSE Bulletin, v.10 n.3, p.16-22, August 1978

Dexter Kozen, Kleene algebra with tests, ACM Transactions on Programming Languages and Systems (TOPLAS), v.19 n.3, p.427-443, May 1997

Frank P. Coyle, Legacy Integration-Changing Perspectives, IEEE Software, v.17 n.2, p.37-41, March 2000

Zahira Ammarguellat, A Control-Flow Normalization Algorithm and its Complexity, IEEE Transactions on Software Engineering, v.18 n.3, p.237-251, March 1992

Edsger W. Dijkstra, Go to statement considered harmful, Software pioneers: contributions to software engineering, Springer-Verlag New York, Inc., New York, NY, 2002

Sergei Gorlatch, SAT: a programming methodology with skeletons and collective operations, Patterns and skeletons for parallel and distributed computing, Springer-Verlag, London, 2003

Derek Rayside , Martin Litoiu , Margaret-Anne Storey , Casey Best, Integrating SHriMP with the IBM websphere studio workbench, Proceedings of the 2001 conference of the Centre for Advanced Studies on Collaborative research, p.14, November 05-07, 2001, Toronto, Ontario, Canada

Dennis M. O'Neill, SFOR: a precompiler for the implementation of a FORTRAN-Based structured language, ACM SIGPLAN Notices, v.9 n.12, p.22-29, December 1974

Lawrence J. Schutte, A report on the value of some advanced high level language operators on current sequential computers, ACM SIGPLAN Notices, v.8 n.11, November 1973

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

C. H. Lindsey, Structure charts a structured alternative to flowcharts, ACM SIGPLAN Notices, v.12 n.11, p.36-49, November 1977

Sergei Gorlatch, Send-receive considered harmful: Myths and realities of message passing, ACM Transactions on Programming Languages and Systems (TOPLAS), v.26 n.1, p.47-56, January 2004

Thomas W. S. Plum, Mathematical overkill and the structure theorem, ACM SIGPLAN Notices, v.10 n.2, p.32-33, February 1975

Con Tran , Pierre N. Robillard, Teaching structured assembler programming, ACM SIGCSE Bulletin, v.17 n.4, p.32-44, December 1985

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

Leon Presser, Structured languages, ACM SIGPLAN Notices, v.10 n.7, July 1975

Robert F. Mathis, Flow trace of a structured program, ACM SIGPLAN Notices, v.10 n.4, April 1975

Peter M. Neely, On program control structure, Proceedings of the annual conference, p.119-125, August 27-29, 1973, Atlanta, Georgia, United States

Frederick C. Hathorn, Structured tasks, Proceedings of the sixth Washington Ada symposium on Ada, p.63-74, July 1989, McLean, Virginia, United States

Hilda M. Standley, A very high level language for large-grained data flow, Proceedings of the 15th annual conference on Computer Science, p.191-195, February 1987, St. Louis, Missouri, United States

Barry Donahue, Using assembly language to teach concepts in the introductory course, ACM SIGCSE Bulletin, v.20 n.1, p.158-162, Feb. 1988

Lyle Ramshaw, Eliminating go to's while preserving program structure, Journal of the ACM (JACM), v.35 n.4, p.893-920, Oct. 1988

John Hartman, Understanding natural programs using proper decomposition, Proceedings of the 13th international conference on Software engineering, p.62-73, May 13-17, 1991, Austin, Texas, United States

B. M. Leavenworth, Programming with(out) the GOTO, ACM SIGPLAN Notices, v.7 n.11, November 1972

Sergei Gorlatch, Message passing without send-receive, Future Generation Computer Systems, v.18 n.6, p.797-805, May 2002

I. Nassi , B. Shneiderman, Flowchart techniques for structured programming, ACM SIGPLAN Notices, v.8 n.8, p.12-26, August 1973

Martin E. Hopkins, A case for the GOTO, ACM SIGPLAN Notices, v.7 n.11, November 1972

R. A. DeMillo , S. C. Eisenstat , R. J. Lipton, Can structured programs be efficient?, ACM SIGPLAN Notices, v.11 n.10, p.10-18, October 1976

Fubo Zhang , Erik H. D'Hollander, Using Hammock Graphs to Structure Programs, IEEE Transactions on Software Engineering, v.30 n.4, p.231-245, April 2004

Paul Abrahams, "Structured programming" considered harmful, ACM SIGPLAN Notices, v.10 n.4, April 1975

David A. Fisher, A survey of control structures in programming languages, ACM SIGPLAN Notices, v.7 n.11, November 1972

Carma L. McClure, Structured programming in COBOL, ACM SIGPLAN Notices, v.10 n.4, April 1975

David Harel, On folk theorems, ACM SIGACT News, v.12 n.3, Fall 1980

Stuart H. Sanfield, The scope of variable concept: the key to structured programming?, ACM SIGPLAN Notices, v.9 n.7, p.22-29, July 1974

Alan R. Korncoff , Charles H. Goodspeed, SAGES: system aiding the generation of engineering software, ACM SIGPLAN Notices, v.11 n.12, December 1976

J. Ramanathan , C. J. Shubra, Use of annotated schemes for developing prototype programs, ACM SIGSOFT Software Engineering Notes, v.7 n.5, p.141-149, December 1982

Niels Veerman, Revitalizing modifiability of legacy assets, Journal of Software Maintenance: Research and Practice, v.16 n.4-5, p.219-254, July-October 2004

John A. Sharp, Some thoughts on data flow architectures, ACM SIGARCH Computer Architecture News, v.8 n.4, p.11-21, June 1980

Julius A. Archibald, Towards a dynamic (FORTRAN) programming system, ACM SIGPLAN Notices, v.11 n.7, July 1976

William A. Wulf, A case against the GOTO, ACM SIGPLAN Notices, v.7 n.11, November 1972

Roger R. Baldwin, The backward-directed GO TO in FORTRAN, ACM SIGPLAN Notices, v.19 n.8, August 1984

Janusz W. Laski, Application of the goal invariant to the structuring of programs, ACM SIGPLAN Notices, v.17 n.1, p.27-36, January 1982

P. A. Buhr, A case for teaching multi-exit loops to beginning programmers, ACM SIGPLAN Notices, v.20 n.11, November 1985

John Beidler , John Meinke, An intermediate level dynamic storage capability, ACM SIGPLAN Notices, v.15 n.1, p.24-33, January 1980

Pierre Bourque , Robert Dupuis , Alain Abran , James W. Moore , Leonard Tripp , Sybille Wolff, Fundamental principles of software engineering - A journey, Journal of Systems and Software, v.62 n.1, p.59-70, 1 May 2002

Peter J. Denning, Comments on mathematical overkill, ACM SIGPLAN Notices, v.10 n.9, September 1975

Donald MacKenzie, A view from the Sonnenbichl: on the historical sociology of software and system dependability, Proceedings of the international conference on History of computing: software issues, p.97-122, April 05-07, 2000, Paderborn, Germany

J. Koehler , R. Hauser , S. Sendall , M. Wahler, Declarative techniques for model-driven business process integration, IBM Systems Journal, v.44 n.1, p.47-65, January 2005

Lars Kahn, Program structure definition using binary relations, ACM SIGPLAN Notices, v.11 n.12, December 1976

Keith Brian Gallagher , James R. Lyle, Using Program Slicing in Software Maintenance, IEEE Transactions on Software Engineering, v.17 n.8, p.751-761, August 1991

Ronald R. Willis, Structured model development techniques, ACM SIGSIM Simulation Digest, v.5 n.4, p.41-52, July 1974

Donald A. Varvel , Leonard Shapiro, The Computational Completeness of Extended Database Query Languages, IEEE Transactions on Software Engineering, v.15 n.5, p.632-638, May 1989

Johannes J. Martin, The 'natural' set of basic control structures, ACM SIGPLAN Notices, v.8 n.12, December 1973

Ken Kennedy , Linda Zucconi, Applications of a graph grammar for program control flow analysis, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.72-85, January 17-19, 1977, Los Angeles, California

Wei Zhao , Rainer Hauser , Kamal Bhattacharya , Barrett R. Bryant , Fei Cao, Compiling business processes: untangling unstructured loops in irreducible flow graphs, International Journal of Web and Grid Services, v.2 n.1, p.68-91, February 2006

Jeanette M. Bruno , Daniel J. Rosenkrantz, Interactive control restructuring, ACM SIGAda Ada Letters, v.XIV n.SI, p.36-53, Fall 1994

Jürgen Angele , Detlef Küpper, Modula-2 an alternative to C?, ACM SIGPLAN Notices, v.27 n.4, p.17-26, April 1992

Ward Douglas Maurer, Loop trees: a new theme in structured programming and discrete structures, Journal of Computing Sciences in Colleges, v.23 n.5, p.199-206, May 2008

Jack B. Dennis, Bibliography, Record of the Project MAC conference on concurrent systems and parallel computation, ACM, New York, NY, 1970

Barry Boehm, A view of 20th and 21st century software engineering, Proceeding of the 28th international conference on Software engineering, May 20-28, 2006, Shanghai, China

Hidetaka Kondoh , Kokichi Futatsugi, To use or not to use the goto statement: programming styles viewed from Hoare logic, Science of Computer Programming, v.60 n.1, p.82-116, March 2006

Dick Hamlet, Subdomain testing of units and systems with state, Proceedings of the 2006 international symposium on Software testing and analysis, July 17-20, 2006, Portland, Maine, USA

E. Dijkstra, Go to statement considered harmful, Classics in software engineering, Yourdon Press, Upper Saddle River, NJ, 1979

M. E. Hopkins, A case for the GOTO, 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

E. Ashcroft , Z. Manna, The translation of 'go to' programs to 'while' programs, Classics in software engineering, Yourdon Press, Upper Saddle River, NJ, 1979

W. A. Wulf, A case against the GOTO, 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

F. T. Baker, Chief programmer team management of production programming, Classics in software engineering, Yourdon Press, Upper Saddle River, NJ, 1979

Ward Douglas Maurer, Generalized structured programs and loop trees, Science of Computer Programming, v.67 n.2-3, p.223-246, July, 2007

Martin Ward , Hussein Zedan, Slicing as a program transformation, ACM Transactions on Programming Languages and Systems (TOPLAS), v.29 n.2, p.7-es, April 2007

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

F. T. Baker, System quality through structured programming, 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

James Kenneth Blundell , Mary Lou Hines , Jerrold Stach, The measurement of software design quality, Annals of Software Engineering, 4, p.235-255, 1997

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

L. P. Lisovik, Structured Turing Machines, Cybernetics and Systems Analysis, v.40 n.2, p.162-168, March-April 2004

Dan Jonsson, Pancode and boxcharts: structured programming revisited, ACM SIGPLAN Notices, v.22 n.8, p.89-98, August 1, 1987

Timothy P. Justice , Rajeev K. Pandey , Timothy A. Budd, A multiparadigm approach to compiler construction, ACM SIGPLAN Notices, v.29 n.9, p.29-37, Sept. 1994

D. Jonsson, The flow of control notations pancode and boxcharts, ACM SIGPLAN Notices, v.25 n.8, p.106-119, Aug. 1990

D. Jonsson, Next: the elimination of Goto-patches?, ACM SIGPLAN Notices, v.24 n.3, p.85-92, March 1989

F. T. Baker, System quality through structured programming, Proceedings of the December 5-7, 1972, fall joint computer conference, part I, December 05-07, 1972, Anaheim, California

Leon Presser, Structured languages, Proceedings of the May 19-22, 1975, national computer conference and exposition, May 19-22, 1975, Anaheim, California

Johannes J. Martin, Generalized structured programming, Proceedings of the May 6-10, 1974, national computer conference and exposition, May 06-10, 1974, Chicago, Illinois

Diane Crawford, Forum, Communications of the ACM, v.51 n.1, January 2008

Eike Falk Anderson , Leigh McLoughlin, Critters in the classroom: a 3D computer-game-like tool for teaching programming to computer animation students, ACM SIGGRAPH 2007 educators program, August 05-09, 2007, San Diego, California

Peter Koepke , Ryan Siders, Minimality considerations for ordinal computers modeling constructibility, Theoretical Computer Science, v.394 n.3, p.197-207, April, 2008

W. Van Snyder, Scientific programming in Fortran, Scientific Programming, v.15 n.1, p.3-8, January 2007

Zuohua Ding , Kao Zhang , Jueliang Hu, A rigorous approach towards test case generation, Information Sciences: an International Journal, v.178 n.21, p.4057-4079, November, 2008

Ward D. Maurer, Removing backward go-to statements from Ada programs: possibilities and problems, ACM SIGAda Ada Letters, v.28 n.3, December 2008

Clifton Kussmaul, Novel language syntax to enhance readability: white space, parameter sets, & control structures, Companion to the 23rd ACM SIGPLAN conference on Object oriented programming systems languages and applications, October 19-23, 2008, Nashville, TN, USA

Thuy Duong Vu, Goto elimination in program algebra, Science of Computer Programming, v.73 n.2-3, p.95-128, October, 2008

Ben Shneiderman, Experimental testing in programming languages, stylistic considerations and design techniques, Proceedings of the May 19-22, 1975, national computer conference and exposition, May 19-22, 1975, Anaheim, California

Dick Hamlet, Tools and experiments supporting a testing-based theory of component composition, ACM Transactions on Software Engineering and Methodology (TOSEM), v.18 n.3, p.1-41, May 2009

Stephen H. Caine , E. Kent Gordon, PDL: a tool for software design, Proceedings of the May 19-22, 1975, national computer conference and exposition, May 19-22, 1975, Anaheim, California

Edward Yourdon, The choice of new software development methodologies for software development projects, Proceedings of the June 13-16, 1977, national computer conference, June 13-16, 1977, Dallas, Texas

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

Julius A. Archibald, Jr., A dynamic (FORTRAN) programming system, Proceedings of the June 7-10, 1976, national computer conference and exposition, June 07-10, 1976, New York, New York

Guy de Balbine, Better manpower utilization using automatic restructuring, Proceedings of the May 19-22, 1975, national computer conference and exposition, May 19-22, 1975, Anaheim, California

Jerrold L. Wagener, Control structure, Encyclopedia of Computer Science, 4th edition, John Wiley and Sons Ltd., Chichester, 2003

Edwin D. Reilly, Structured programming, Encyclopedia of Computer Science, 4th edition, John Wiley and Sons Ltd., Chichester, 2003

Bo Sandén, Inspired software design early jackson methods to thread architectures, ACM SIGSOFT Software Engineering Notes, v.34 n.4, July 2009

Arend Rensink , Maria Zimakova, Towards model structuring based on flow diagram decomposition, Proceedings of the 1st Workshop on Behaviour Modelling in Model-Driven Architecture, p.1-8, June 23-23, 2009, Enschede, The Netherlands

Corrado Böhm: colleagues

Giuseppe Jacopini: colleagues