
- ABRA75 Abrahams, P., "Structured Programming Considered Harmful",
Sigplan Notices , (10, 4), 1975, pp. 13--24.]] Google ScholarDigital Library
- ACM72 Proceedings of an ACM Conference on Proving Assertions About Programs,
Sigplan Notices , (7, 1) andSigact News , (14), Jan. 1972, 211 pp. + iv.]]Google Scholar - ACM74
ACM Computing Surveys , Special Issue on Programming, P. Denning (ed), (6, 4), Dec. 1974, 113 pages.]]Google Scholar - ACM75 Proceedings of International Conference on Reliable Software,
Sigplan Notices , (10, 6), June, 1975, 567 pp. + vii.]]Google Scholar - ASHC71 Ashcroft, E. and Manna, Z., "The Translation of
goto Programs toWhile Programs",Proc. of IFIP Cong. 71 , Vol. 1, 1971, pp. 250--255.]]Google Scholar - BAKE71 Baker, F. T., "The Chief Programmer Team Experiment",
IBM Technical Information Exchange Forum , Spring 1971.]]Google Scholar - BAKE72 Baker, F. T., "Chief Programmer Team Management of Production Programming",
IBM Systems Journal , (11, 1), 1972, pp. 56--71.]]Google ScholarDigital Library
- BAKE75 Baker, F. T., "Structured Programming in a Production Environment",
Sigplan Notices , (10, 6), 1975, pp. 172--185.]] Google ScholarDigital Library
- BOCH73 Bochmann, G. V., "Multiple Exits Froma Loop Without the Goto",
CAM , (16, 7), 1973, pp. 443--444.]] Google ScholarDigital Library
- BOEH76 Boehm, B. W., "Software Engineering",
IEEETC , (C-25, 12), Dec. 1976, pp. 1226--1241.]]Google Scholar - BOHM66 Bohm, C. and Jacopini, G., "Flow Diagrams, Turing Machines, and Languages With Only Two Formation Rules",
CACM , (9, 5), 1966, pp. 366--371.]] Google ScholarDigital Library
- BOWL77 Bowles, K. L.,
Microcomputer Problem Solving Using Pascal , Springer-Verlag, 1977.]]Google Scholar - BRUN72 Bruno, J. and Steiglitz, K., "The Expression of Algorithms By Charts",
JACM , (19, 3), July 1972, pp. 517--525.]] Google ScholarDigital Library
- COMP75A
Computer -Special Issue on Software Engineering, R. Yeh (ed), (8, 5), May 1975.]]Google Scholar - COMP75B
Computer -Special Issue on Structured Programming, W. Ross (ed), (8, 6), June 1975.]]Google Scholar - CONW76A Conway, R., Gries, D. and Zimmerman, E. C.,
A Primer on Pascal , Winthrop, 1976.]]Google Scholar - CONW76B Conway, R. and Gries, D.,
Primer on Structured Programming , Winthrop, 1976.]]Google Scholar - DAHL72 Dahl, O. J., Dijkstra, E. W. and Hoare, C. A. R.,
Structured Programming , Academic Press, 1972.]] Google ScholarDigital Library
- DATA73 Special Issue on Structured Programming.
Datamation , (19, 12), 1973.]]Google Scholar - DENN73 Denning, P., "Is it Not Time to Define Structured Programming?"
Sigplan Notices , Oct. 1973.]]Google Scholar - DIJK65 Dijkstra, E. W., "Programming Considered as a Human Activity",
Proc .of IFIP Cong ., May 1965, pp. 213--217.]]Google Scholar - DIJK68A Dijkstra, E. W., "Go To Statement Considered Harmful", Letters to the Editor,
CACM , (11, 3), 1968, pp. 147--148.]] Google ScholarDigital Library
- DIJK68B Dijkstra, E. W., "A Constructive Approach to the Problem of Program Correctness",
BIT , (8), 1963, pp. 174--186.]]Google Scholar - DIJK69 Dijkstra, E. W.,
Notes on Structured Programming , T. H. E. EWD249, August 1969.]]Google Scholar - DIJK72A Dijkstra, E. W., "The Humble Programmer",
CACM , (15, 10), 1972, pp. 859--865.]] Google ScholarDigital Library
- DIJK72B Dijkstra, E. W., "Notes on Structured Programming",
Structured Programming , Academic Press, New York, 1972, pp. 1--82.]] Google ScholarDigital Library
- DIJK75 Dijkstra, E. W., "Correctness Concerns and Among Other Things Why They Are Resented",
Sigplan Notices , (10, 6), 1975, pp. 546--551.]] Google ScholarDigital Library
- DIJK76 Dijkstra, E. W.,
A Discipline of Programming , Prentice-Hall, 1976.]] Google ScholarDigital Library
- DUWO72 DuWorks, R. J. and Smoliar, S. W., "The Arrogant Programmer: Dijkstra and Wegner Considered Harmful",
SIGCSE Bulletin , (4, 4), Dec. 1972, pp. 19--21.]] Google ScholarDigital Library
- ELSP72 Elspas, B., Levitt, K. N., Waldinger, R. J., and Waksman, A., "An Assessment of Techniques for Proving Program Correctness",
Computing Surveys , (4, 2), 1972, pp. 97--147.]] Google ScholarDigital Library
- FLOY67 Floyd, R. W., "Assigning Meanings to Programs",
Proc., Symp. in Appl. Math ., Vol. 19, AMS, 1967, pp. 19--32.]]Google Scholar - FLOY71 Floyd, R. W., "Toward Interactive Design of Correct Programs",
Proceedings of IFIP Cong. 71 , Vol. 1, pp. 7--10.]]Google Scholar - FRIE77 Friedman, F. L. and Koffman, E. B.,
Problem Solving and Structured Programming in Fortran , Addison-Wesley, 1977.]] Google ScholarDigital Library
- FRID74 Friedman, D. and Shapiro, S., "A Case for
While-Until ",Sigplan Notices , (9, 7), July 1974, pp. 7--14.]] Google ScholarDigital Library
- GELL76 Geller, D. P. and Freedman, D. P.,
Structured Programming in APL , Winthrop, 1976.]]Google Scholar - GRIE74A Gries, D., "What Should We Teach in an Introductory Programming Course",
ACMSIGCSE Bulletin , Feb. 1974, pp. 81--89.]] Google ScholarDigital Library
- GRIE74B Gries, D., "On Structured Programming - A Reply to Smoliar",
CACM , (17, 11), 1974, pp. 655--657.]]Google Scholar - HAIN73 Haines, E. C., "AL: A Structured Assembly Language",
Sigplan Notices , (8, 1), 1973, pp. 15--20; (8, 4), 1973, pp. 16--21.]] Google ScholarDigital Library
- HANS73 Hansen, P. B.,
Operating System Principles , Prentice-Hall, 1973.]] Google ScholarDigital Library
- HOAR61 Hoare, C. A. R., "Algorithm 65, FIND",
CACM , (4, 7), July 1961, p. 321.]] Google ScholarDigital Library
- HOAR69 Hoare, C. A. R., "An Axiomatic Basis for Computer Programming",
CACM , (12, 10), 1969, pp. 576--583.]] Google ScholarDigital Library
- HOAR71 Hoare, C. A. R., "Proof of a Program: FIND",
CACM , (14, 1), 1971, pp. 39--45.]] Google ScholarDigital Library
- HOAR73B Hoare, C. A. R. and Wirth, N., "An Axiomatic Definition of the Programming Language, Pascal",
Acta Informatica , (2), 1973, pp. 335--355.]]Google ScholarDigital Library
- HORO75 Horowitz, E., "Fortran: Can It Be Structured - Should it Be",
Computer , (8, 6), 1975, pp. 30--37.]]Google ScholarDigital Library
- HOPK72 Hopkins, M., "A Case for the Goto",
Sigplan Notices , (7, 11), 1972, pp. 59--62.]] Google ScholarDigital Library
- IBM71 IBM,
Chief Programmer Teams, Principles and Procedures , Report FSC 71--5108, June 1971.]]Google Scholar - IEEE75
IEEE Transactions on Software Engineering (SE-1, 1) March 1975.]]Google Scholar - JENS75 Jensen, K. and Wirth, N.,
Pascal User Manual and Report , 2nd Ed., Springer-Verlag, 1975.]] Google ScholarDigital Library
- JUDD70 Judd. R., "Practical Modular Programming",
Computer Bulletin , (14, 1), 1970, pp. 4--7.]]Google Scholar - KERN74A Kernighan, B. W. and Plauger, P. J., "Programming Style: Examples and Counterexamples",
Computing Surveys , (6, 4), 1974), pp. 309--319.]] Google ScholarDigital Library
- KERN74B Kernighan, B. W. and Plauger, P. J.,
The Elements of Programming Style , McGraw-Hill, New York, 1974.]] Google ScholarDigital Library
- KIEB75 Kieburtz, R. B.,
Structured Programming and Problem Solving with Algol W , Prentice-Hall, 1975.]]Google Scholar - KNUT74 Knuth, D. E., "Structured Programming with Gotos",
Computing Surveys , (6, 4), Dec. 1974.]] Google ScholarDigital Library
- KOSA74 Kosaraju, S. A., "Analysis of Structured Programs",
Journal of Computer and System Sciences , (9, 3), Dec. 1974.]]Google ScholarDigital Library
- KRE172 Kreitzberg, C. B. and Shneiderman, B.,
The Elements of Fortran Style , Harcourt Brace Jovanovich, 1972.]]Google ScholarDigital Library
- LEAV72A Leavenworth, B. M., (Ed.) "The Go To Controversy",
Sigplan Notices , (7, 11), Nov. 1972, pp. 53--91.]]Google Scholar - LEAV72B Leavenworth, B. M., "Programming With(out) the Goto",
Sigplan Notices , (7, 11), 1972, pp. 54--58.]] Google ScholarDigital Library
- LEDG75 Ledgard, H. F. and Marcotty, M., "A Genealogy of Control Structures",
CACM , (18, 11), 1975, pp. 629--639.]] Google ScholarDigital Library
- LIM75 Lim, A. L. and Lewis, G. R., "Towards Structured Programming in APL,"
Computer Journal , (18, 2), 1975, pp. 140--143.]]Google ScholarCross Ref
- MANN72 Manna, Z. and Vuillemin, J., "Fixpoint Approach to Theory of Computation",
CACM , (15, 7), July 1972, pp. 528--536.]] Google ScholarDigital Library
- MART73 Martin, J., "The 'Natural' Set of Basic Control Structures",
Sigplan Notices , (8, 12), 1973, pp. 5--14.]] Google ScholarDigital Library
- MCCL75 McClure, C., "Structured Programming in Cobol",
Sigplan Notices , (10, 4), 1975, pp. 25--33.]] Google ScholarDigital Library
- MCCR76 McCracken, D. D.,
A Simplified Guide to Structured Cobol Programming , Wiley, 1976.]] Google ScholarDigital Library
- MEIS75 Meissner, L. P., "On Extending Fortran Control Structures to Facilitate Structured Programming",
Sigplan Notices , (10, 9), 1975, pp. 19--29.]] Google ScholarDigital Library
- METZ75 Metz, S., "More on Structured Programming",
CACM , (18, 10), 1975, pp. 600--601.]]Google Scholar - MILA73 Miller, L. A.,
Harlan Mills on "The Psychology of Quality'; , IBM RC 3779, May 1973.]]Google Scholar - MILL71 Mills, H. D., "Top Down Programming in Large Systems",
Debugging Techniques in Large Systems , B. Rustin (ed), Prentice-Hall, 1971.]]Google Scholar - MILL72 Mills, H. D.,
Mathematical Foundations for Structured Programming , IBM Report FSC 72--6013, 1972.]]Google Scholar - MILL73 Mills, H. D.,
How to Write Correct Programs and Know It , IBM Report FSC 73--5008, Jan. 1973.]]Google Scholar - MILL75 Mills, H. D., "How to Write Correct Programs and Know It",
Sigplan Notices , (10, 6), 1975, pp. 363--370.]] Google ScholarDigital Library
- MILR73A Miller, E. F. Jr.,
A Compendium of Language Extensions to Support Structured Programming , Program Validation Project Report, RN-42, General Research Corp., Jan. 1973.]]Google Scholar - NASS73 Nassi, I. and Shneiderman, B., "Flowchart Techniques for Structured Programming",
Sigplan Notices , (8, 8), 1973, pp. 12--26.]] Google ScholarDigital Library
- NAUR66 Naur, P., "Proof of Algorithms by General Snapshots",
BIT , (6), 1966, 310--316.]]Google Scholar - NAUR69 Naur, P., "Programming by Action Clusters",
BIT , (9), 1969, pp. 250--258.]]Google ScholarCross Ref
- OGDI72 Ogdin, J., "The Mongolian Hordes versus Superprogrammer",
Infosystems , Dec. 1972, pp. 20--24.]]Google Scholar - PETE73 Peterson, W. W., Kasami, T., and Tokura, N., "On the Capabilities of While, Repeat, and Exit Statements",
CACM , (16, 8), 1973, p. 503--512.]] Google ScholarDigital Library
- PHIL77 Philippakis, A. and Kazimier, L.,
Structured Cobol , McGraw-Hill, 1977.]] Google ScholarDigital Library
- PUG77 Pascal Users Group. Membership Roster.
Pascal Newsletter , A. Mickel (Ed.), May 1977.]]Google Scholar - RICE68 Rice, J. R., "The Goto Statement Reconsidered", Letter to the Editor.
CACM , (11, 8), 1968, p. 538.]] Google ScholarDigital Library
- SHEL77 Shelly, G. and Cashman, T.,
Introduction to Computer Programming: Structured Cobol , Anaheim Publ. Co., 1977.]] Google ScholarDigital Library
- SITE72 Sites, R. L.,
Algol W Reference Nanual , Stanford Univ., Dept. of Comp. Sci. Rept STAN-CS-71--230, Feb. 1972.]] Google ScholarDigital Library
- SLAG73 Slagle, J. R. and Norton, L. M., "Experiments with an Automatic Theorem Prover. . . .",
CACM , (16, 11), 1973, pp. 682--688.]] Google ScholarDigital Library
- SMOL74 Smoliar, S. W., "On Structured Programming",
CACM , (17, 5), 1974, p. 294.]]Google Scholar - SNOW72 Snowden, R. A., "Pearl: An' Interactive System for the Preparation and Validation of Structured Programs",
Sigplan Notices , (7, 3), 1972, pp. 9--26.]] Google ScholarDigital Library
- SULL75 Sullivan, J. E., "Extending PL/I For Structured Programming",
Computer Languages , (1), 1975, pp. 29--43.]]Google ScholarDigital Library
- URSC75 Urschler, G., "Automatic Structuring of Programs",
IBM Jour. of Res. Dev ., March 1975, pp. 181--194.]]Google ScholarDigital Library
- WEGN73 Wegner, E., "Tree-Structured Programs",
CACM , (16, 11), 1973, pp. 704--705.]] Google ScholarDigital Library
- WEGP76 Wegner, P., "Programming Languages - The First 25 Years",
IEEE-TC , (C-25, 12), Dec. 1976, pp. 1207--1225.]]Google Scholar - WEIN71 Weinberg, G.,
The Psychology of Computer Programming , Van Nostrand Reinhold, 1971.]] Google ScholarDigital Library
- WEIN73 Weinberg, G., Yasukawa, N. and Marcus, R.,
Structured Programming in PL/C , Wiley, 1973.]]Google Scholar - WEIN75 Weinberg, G., et al., "If-Then-Else considered Harmful",
Sigplan Notices , (10, 8), 1975, pp. 34--44.]] Google ScholarDigital Library
- WHIT75 White, J. R. and Presser, L., "A Structured Language for Compiler Construction",
Computer Journal , (18, 1), 1975, pp. 34--42.]]Google ScholarCross Ref
- WIRT66 Wirth, N. and Hoare, C. A. R., "A Contribution to the Development of Algol",
CACM , (9, 6), June 1966, pp. 413--432.]] Google ScholarDigital Library
- WIRT68 Wirth, N., "PL360, A Programming Language for the IBM 360",
JACM , (15, 1), 1968, pp. 37--74.]] Google ScholarDigital Library
- WIRT71A Wirth, N., "The Programming Language, Pascal",
Acta Informatica , (1, 1), 1971, pp. 35--63.]]Google ScholarDigital Library
- WIRT71B Wirth, N., "Program Development by Stepwise Refinement",
CACM , (14, 4), 1971, pp. 221--227.]] Google ScholarDigital Library
- WIRT73A Wirth, N.,
Systematic Programming , Prentice Hall, 1973.]] Google ScholarDigital Library
- WIRT73B Wirth, N.,
The Programming Language, Pascal (Revised Report) , Berichte der Fachgruppe Computer-Wissenschaften, ETH, Zurich (5), 1973.]]Google Scholar - HOAR73A Hoare, C. A. R., "Proof of a Structured Program: The Sieve of Eratosthenes",
Computer Journal , (15), 1973.]]Google Scholar - WIRT74 Wirth, N., "On the Composition of Well-Structured Programs",
Computing Surveys , Dec. 1974, pp. 247--259.]] Google ScholarDigital Library
- WIRT76 Wirth, N.,
Algorithms + Data Structures = Programs , Prentice Hall, 1976.]] Google ScholarDigital Library
- WULF71A Wulf, W. A., "Programming Without the Goto", Information Proceeding 71, C. V. Freiman (ed),
Proceeding of IFIP 1971 Congress .]]Google Scholar - WULF71B Wulf, W. A., Russell, D. B., and Habermann, A. N., "Bliss: A Language for Systems Programming",
CACM , (14, 12), 1971, pp. 780--790.]] Google ScholarDigital Library
- WULF71C Wulf, W. A., et al., "Reflections on a Systems Programming Language",
Proc. of SIGPLAN Symp. on Systems Implementation Languages , Oct. 1971.]] Google ScholarDigital Library
- WULF72 Wulf, W. A., "A Case Against the Goto",
SIGPLAN Notices , (7, 11), 1972, pp. 63--69.]] Google ScholarDigital Library
- YOUR74 Yourdon, E. and Abbott, R., "Programmers are Paid to Program: Enter Program Librarian",
Infosystems , Dec. 1974, pp. 28--32.]]Google Scholar - ZAHN74 Zahn, C., "A Control Statement for Natural Top-Down Structured Programming",
Symposium on Programming Languages , Paris, 1974.]] Google ScholarDigital Library
Index Terms
(auto-classified)The roots of structured programming
Recommendations
Enhancing Cobol program structure: sections vs. paragraphs
COBOL is sometimes criticized for its lack of structurability. This is due primarily to the common but outdated use of paragraphs to achieve structure in COBOL programming.In fact. COBOL was designed to be highly structurable. The language itself is ...






Comments