{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T16:34:11Z","timestamp":1743006851861,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":81,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540092513"},{"type":"electronic","value":"9783540353126"}],"license":[{"start":{"date-parts":[[1979,1,1]],"date-time":"1979-01-01T00:00:00Z","timestamp":283996800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[1979,1,1]],"date-time":"1979-01-01T00:00:00Z","timestamp":283996800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1979]]},"DOI":"10.1007\/bfb0014680","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T05:25:49Z","timestamp":1132723549000},"page":"494-530","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Programing languages for reliable computing systems"],"prefix":"10.1007","author":[{"given":"J. J.","family":"Horning","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"31_CR1","unstructured":"Anderson, T., and R. Kerr [1976]. \u201cRecovery blocks in action.\u201d In Proc. 2nd International Conference on Software Engineering, San Francisco, pp. 447\u2013457."},{"key":"31_CR2","unstructured":"Backus, J. W., R. J. Beeber, S. Best, R. Goldberg, L. M. Haibt, H. L. Herrick, R. A. Nelson, D. Sayre, P. B. Sheridan, H. Stern, I. Ziller, R. A. Hughes, and R. Nutt [1957]. \u201cThe FORTRAN automatic coding system.\u201d In Proc. Western Joint Computer Conference, Los Angeles."},{"issue":"1","key":"31_CR3","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1147\/sj.111.0056","volume":"11","author":"F. T. Baker","year":"1972","unstructured":"Baker, F. T. [1972]. \u201cChief programmer team management of production programming.\u201d IBM Syst. J.\n11, no. 1, pp. 56\u201373.","journal-title":"IBM Syst. J."},{"issue":"2","key":"31_CR4","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1109\/TSE.1975.6312844","volume":"SE-1","author":"F. T. Baker","year":"1975","unstructured":"\u2014 [1975]. \u201cStructured programming in a production programming environment.\u201d IEEE Trans. Software Engineering\nSE-1, no. 2, pp. 241\u2013252.","journal-title":"IEEE Trans. Software Engineering"},{"issue":"5","key":"31_CR5","first-page":"48","volume":"19","author":"B. W. Boehm","year":"1973","unstructured":"Boehm, B. W. [1973]. \u201cSoftware and its impact: A quantitative assessment.\u201d Datamation\n19, no. 5, pp. 48\u201359.","journal-title":"Datamation"},{"issue":"1","key":"31_CR6","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1109\/TSE.1975.6312826","volume":"SE-1","author":"B. W. Boehm","year":"1975","unstructured":"\u2014, R. K. McClean, and D. B. Urfrig [1975]. \u201cSome experience with automated aids to the design of large-scale reliable software.\u201d IEEE Trans. Software Engineering\nSE-1, no. 1, pp. 125\u2013133.","journal-title":"IEEE Trans. Software Engineering"},{"key":"31_CR7","unstructured":"\u2014, J. R. Brown, and M. Lipow [1976]. \u201cQuantitative evaluation of software quality.\u201d In Proc. 2nd International Conference on Software Engineering, San Francisco, pp. 592\u2013605."},{"issue":"9","key":"31_CR8","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/987500.987502","volume":"11","author":"R. F. Bridge","year":"1976","unstructured":"Bridge, R. F. and E. W. Thompson [1976]. \u201cBridges\u2014A tool for increasing the reliability of references to FORTRAN variables.\u201d SIGPLAN Notices\n11, no. 9, pp. 2\u20139.","journal-title":"SIGPLAN Notices"},{"issue":"8","key":"31_CR9","first-page":"539","volume":"20","author":"CACM","year":"1977","unstructured":"CACM [1977]. Special issue on language design for reliable software. Comm. ACM\n20, no. 8, pp. 539\u2013595.","journal-title":"Comm. ACM"},{"issue":"9","key":"31_CR10","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1145\/390014.808279","volume":"8","author":"B. L. Clark","year":"1973","unstructured":"Clark, B. L. and J. J. Horning [1973]. \u201cReflections on a language designed to write an operating system.\u201d SIGPLAN Notices\n8, no. 9, pp. 52\u201356.","journal-title":"SIGPLAN Notices"},{"issue":"6","key":"31_CR11","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1145\/390016.808438","volume":"10","author":"L. M. Culpepper","year":"1975","unstructured":"Culpepper, L. M. [1975]. \u201cA system for reliable engineering software.\u201d SIGPLAN Notices\n10, no. 6, pp. 186\u2013192.","journal-title":"SIGPLAN Notices"},{"key":"31_CR12","volume-title":"Structured Programming","author":"O.-J. Dahl","year":"1972","unstructured":"Dahl, O.-J., E. W. Dijkstra, and C. A. R. Hoare [1972]. Structured Programming. Academic Press, London and New York."},{"issue":"3","key":"31_CR13","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1145\/362929.362947","volume":"11","author":"E. W. Dijkstra","year":"1968","unstructured":"Dijkstra, E. W. [1968]. \u201cGo to statement considered harmful.\u201d Comm. ACM\n11, no. 3, pp. 147\u2013148.","journal-title":"Comm. ACM"},{"issue":"6","key":"31_CR14","doi-asserted-by":"publisher","first-page":"546","DOI":"10.1145\/390016.808478","volume":"10","author":"E. W. Dijkstra","year":"1975","unstructured":"\u2014 [1975]. \u201cCorrectness concerns and, among other things, why they are resented.\u201d SIGPLAN Notices\n10, no. 6, pp. 546\u2013550.","journal-title":"SIGPLAN Notices"},{"key":"31_CR15","volume-title":"A Discipline of Programming","author":"E. W. Dijkstra","year":"1976","unstructured":"\u2014 [1976]. A Discipline of Programming. Prentice-Hall, Englewood Cliffs."},{"key":"31_CR16","volume-title":"Mathematical Aspects of Computer Science","author":"R. W. Floyd","year":"1967","unstructured":"Floyd, R. W. [1967]. \u201cAssigning meanings to programs.\u201d In Mathematical Aspects of Computer Science, ed. J. T. Schwartz, American Mathematical Society, Providence."},{"key":"31_CR17","unstructured":"Fosdick, Loyd D., and Leon J. Osterweil [1976]. \u201cThe detection of anomalous interprocedural data flow.\u201d In Proc. 2nd International Conference on Software Engineering, San Francisco, pp. 624\u2013628."},{"issue":"2","key":"31_CR18","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1109\/TSE.1975.6312838","volume":"SE-1","author":"J. D. Gannon","year":"1975","unstructured":"Gannon, John D. [1975]. \u201cLanguage design to enhance programming reliability.\u201d Technical Report CSRG-47, University of Toronto Computer Systems Research Group. [Summarized in John D. Gannon and J. J. Horning, \u201cLanguage design for programming reliability.\u201d IEEE Trans. Software Engineering\nSE-1, no. 2, pp. 179\u2013191.]","journal-title":"IEEE Trans. Software Engineering"},{"issue":"8","key":"31_CR19","doi-asserted-by":"publisher","first-page":"584","DOI":"10.1145\/359763.359800","volume":"20","author":"J. D. Gannon","year":"1977","unstructured":"\u2014 [1977]. \u201cAn experimental evaluation of data type conventions.\u201d Comm. ACM\n20, no. 8, pp. 584\u2013595.","journal-title":"Comm. ACM"},{"issue":"12","key":"31_CR20","doi-asserted-by":"publisher","first-page":"683","DOI":"10.1145\/361227.361230","volume":"18","author":"J. B. Goodenough","year":"1975","unstructured":"Goodenough, J. B. [1975]. \u201cException handling: Issues and a proposed notation.\u201d Comm. ACM\n18, no. 12, pp. 683\u2013696.","journal-title":"Comm. ACM"},{"key":"31_CR21","unstructured":"Gordon, Harvey [1975]. \u201cParagraphing computer programs.\u201d M. Sc. Thesis, University of Toronto Computer Science Department."},{"key":"31_CR22","volume-title":"\u201cSome psychological evidence on how people debug computer programs.\u201d Report RC 4542","author":"J. D. Gould","year":"1973","unstructured":"Gould, J. D. [1973]. \u201cSome psychological evidence on how people debug computer programs.\u201d Report RC 4542, IBM Watson Research Center, Yorktown Heights."},{"key":"31_CR23","volume-title":"\u201cA controlled psychological study of computer program debugging.\u201d Report RC 4083","author":"J. D. Gould","year":"1972","unstructured":"\u2014 and P. Drongowski [1972]. \u201cA controlled psychological study of computer program debugging.\u201d Report RC 4083, IBM Watson Research Center, Yorktown Heights."},{"issue":"11","key":"31_CR24","doi-asserted-by":"publisher","first-page":"655","DOI":"10.1145\/361179.361208","volume":"17","author":"D. Gries","year":"1974","unstructured":"Gries, D. [1974]. \u201cOn structured programming\u2014A reply to Smoliar.\u201d Comm. ACM\n17, no. 11, pp. 655\u2013657.","journal-title":"Comm. ACM"},{"issue":"10","key":"31_CR25","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C. A. R. Hoare","year":"1969","unstructured":"Hoare, C. A. R. [1969]. \u201cAn axiomatic basis for computer programming.\u201d Comm. ACM\n12, no. 10, pp. 576\u2013583.","journal-title":"Comm. ACM"},{"key":"31_CR26","first-page":"81","volume-title":"Efficient Production of Large Programs","author":"C. A. R. Hoare","year":"1970","unstructured":"\u2014 [1970]. \u201cThe use of high level languages in large program construction.\u201d In Efficient Production of Large Programs, ed. B. Osuchowska, pp. 81\u2013107, Computation Centre of the Polish Academy of Sciences, Warsawa."},{"key":"31_CR27","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/BF00289507","volume":"1","author":"C. A. R. Hoare","year":"1972","unstructured":"\u2014 [1972]. \u201cProofs of correctness of data representation.\u201d Acta Informatica\n1, pp. 271\u2013281.","journal-title":"Acta Informatica"},{"key":"31_CR28","unstructured":"\u2014[1973]. \u201cHints on programming language design.\u201d Technical Report STAN-CS-73-403, Stanford University Computer Science Department."},{"key":"31_CR29","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/BF00976239","volume":"4","author":"C. A. R. Hoare","year":"1975","unstructured":"\u2014 [1975]. \u201cRecursive data structures.\u201d Int. J. Comp. Inf. Sci.\n4, p. 105.","journal-title":"Int. J. Comp. Inf. Sci."},{"key":"31_CR30","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1007\/BF00289504","volume":"2","author":"C. A. R. Hoare","year":"1973","unstructured":"\u2014 and Wirth [1973]. \u201cAn axiomatic definition of the programming language Pascal.\u201d Acta Informatica\n2, pp. 335\u2013355.","journal-title":"Acta Informatica"},{"issue":"5","key":"31_CR31","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1145\/359581.359586","volume":"20","author":"R. C. Holt","year":"1977","unstructured":"Holt, R. C., D. B. Wortman, D. T. Barnard, and J. R. Cordy [1977]. \u201cSP\/k: A system for teaching computer programming.\u201d Comm. ACM\n20, no. 5, pp. 301\u2013309.","journal-title":"Comm. ACM"},{"key":"31_CR32","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/BFb0029359","volume-title":"Operating Systems","author":"J. J. Horning","year":"1974","unstructured":"Horning, J. J., H. C. Lauer, P. M. Melliar-Smith, and B. Randell [1974]. \u201cA program structure for error detection and recovery.\u201d In Operating Systems, ed. E. Gelenbe and C. Kaiser, pp. 171\u2013187, Springer-Verlag Lecture Notes in Computer Science 16, Berlin."},{"issue":"4","key":"31_CR33","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1109\/TSE.1977.231151","volume":"SE-3","author":"J. J. Horning","year":"1977","unstructured":"Horning, J. J., and D. B. Wortman [1977]. \u201cSoftware Hut: A computer program engineering project in the form of a game.\u201d IEEE Trans. Software Engineering\nSE-3, no. 4, pp. 325\u2013330.","journal-title":"IEEE Trans. Software Engineering"},{"key":"31_CR34","unstructured":"Ichbiah, J. D., and J. P. Rissen [1971]. \u201cDirections de travail pour un atelier de software.\u201d Preliminary Report, Compagnie Internationale Pour L'Informatique, Paris."},{"key":"31_CR35","doi-asserted-by":"crossref","unstructured":"ICRS [1975]. \u201cProceedings\u20141975 International Conference on Reliable Software.\u201d SIGPLAN Notices\n10, no. 6.","DOI":"10.1145\/390016.808419"},{"issue":"4","key":"31_CR36","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1109\/TSE.1976.233833","volume":"SE-2","author":"A. K. Jones","year":"1976","unstructured":"Jones, Anita K., and Barbara H. Liskov [1976]. \u201cA language extension for controlling access to shared data.\u201d IEEE Trans. Software Engineering\nSE-2, no. 4, pp. 277\u2013284.","journal-title":"IEEE Trans. Software Engineering"},{"issue":"5","key":"31_CR37","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1145\/359488.359501","volume":"21","author":"M. Karr","year":"1978","unstructured":"Karr, Michael, and David B. Loveman III [1978]. \u201cIncorporation of units into programming languages.\u201d Comm. ACM\n21, no. 5, pp. 385\u2013391.","journal-title":"Comm. ACM"},{"key":"31_CR38","volume-title":"The Elements of Programming Style","author":"B. W. Kernighan","year":"1974","unstructured":"Kernighan, Brian W., and P. J. Plauger [1974]. The Elements of Programming Style. McGraw-Hill, New York."},{"key":"31_CR39","doi-asserted-by":"publisher","DOI":"10.1145\/1010726.1010728","volume-title":"Software Tools","author":"B. W. Kernighan","year":"1976","unstructured":"\u2014 [1976]. Software Tools. Addison-Wesley, Reading."},{"issue":"4","key":"31_CR40","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1145\/356635.356640","volume":"6","author":"D. E. Knuth","year":"1974","unstructured":"Knuth, D. E. [1974]. \u201cStructured programming with go to statements.\u201d Comp. Surveys\n6, no. 4, pp. 261\u2013301.","journal-title":"Comp. Surveys"},{"key":"31_CR41","doi-asserted-by":"crossref","unstructured":"Lampson, B. W., J. J. Horning, R. L. London, J. G. Mitchell, and G. J. Popek [1977]. \u201cReport on the programming language Euclid.\u201d SIGPLAN Notices\n12, no. 2.","DOI":"10.1145\/954666.971189"},{"key":"31_CR42","unstructured":"Levin, Roy [1977]. \u201cProgram structures for exceptional condition handling.\u201d Ph. D. Thesis, Carnegie-Mellon University Department of Computer Science."},{"issue":"8","key":"31_CR43","doi-asserted-by":"publisher","first-page":"564","DOI":"10.1145\/359763.359789","volume":"20","author":"B. Liskov","year":"1977","unstructured":"Liskov, Barbara, Alan Snyder, Russell Atkinson, and Craig Scheffert [1977]. \u201cAbstraction mechanisms in CLU.\u201d Comm. ACM\n20, no. 8, pp. 564\u2013576.","journal-title":"Comm. ACM"},{"issue":"6","key":"31_CR44","doi-asserted-by":"publisher","first-page":"534","DOI":"10.1145\/390016.808477","volume":"10","author":"R. L. London","year":"1975","unstructured":"London, R. L. [1975]. \u201cA view of program verification.\u201d SIGPLAN Notices\n10, no. 6, pp. 534\u2013545.","journal-title":"SIGPLAN Notices"},{"key":"31_CR45","unstructured":"\u2014, Mary Shaw, and Wm. A. Wulf [1976]. \u201cAbstraction and verification in Alphard: A symbol table example.\u201d Technical Report, Carnegie-Mellon University Department of Computer Science and University of Southern California Information Sciences Institute."},{"key":"31_CR46","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF00260921","volume":"10","author":"R. L. London","year":"1978","unstructured":"\u2014, J. V. Guttag, J. J. Horning, B. W. Lampson, J. G. Mitchell, and G. J. Popek [1978]. \u201cProof rules for the programming language Euclid.\u201d Acta Informatica\n10, pp. 1\u201326.","journal-title":"Acta Informatica"},{"issue":"3","key":"31_CR47","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1145\/390017.808317","volume":"12","author":"T. Love","year":"1977","unstructured":"Love, Tom [1977]. \u201cAn experimental investigation of the effect of program structure on program understanding.\u201d SIGPLAN Notices\n12, no. 3, pp. 105\u2013113.","journal-title":"SIGPLAN Notices"},{"key":"31_CR48","first-page":"21","volume-title":"Proc. IFIP Congress 62","author":"J. McCarthy","year":"1962","unstructured":"McCarthy, J. [1962]. \u201cTowards a mathematical theory of computation.\u201d In Proc. IFIP Congress 62. pp. 21\u201328, North-Holland, Amsterdam."},{"issue":"1","key":"31_CR49","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1109\/TSE.1975.6312817","volume":"SE-1","author":"W. M. McKeeman","year":"1975","unstructured":"McKeeman, W. M. [1975]. \u201cOn preventing programming languages from interfering with programming.\u201d IEEE Trans. Software Engineering\nSE-1, no. 1, pp. 19\u201326.","journal-title":"IEEE Trans. Software Engineering"},{"key":"31_CR50","volume-title":"A Compiler Generator","author":"W. M. McKeeman","year":"1970","unstructured":"\u2014, J. J. Horning, and D. B. Wortman [1970]. A Compiler Generator. Prentice-Hall, Englewood Cliffs."},{"issue":"3","key":"31_CR51","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1145\/390017.808316","volume":"12","author":"M. D. MacLaren","year":"1977","unstructured":"MacLaren, M. Donald [1977]. \u201cException handling in PL\/I.\u201d SIGPLAN Notices\n12, no. 3, pp. 101\u2013104.","journal-title":"SIGPLAN Notices"},{"key":"31_CR52","unstructured":"Miller, L. A. [1973]. \u201cNormative procedure specification.\u201d In Proc. 81st Ann. Conv. Am. Psychological Assn., Montreal."},{"issue":"2","key":"31_CR53","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1016\/S0020-7373(74)80004-0","volume":"6","author":"L. A. Miller","year":"1974","unstructured":"\u2014 [1974]. \u201cProgramming by non-programmers.\u201d Int. J. Man-Machine Studies\n6, no. 2, pp. 237\u2013260.","journal-title":"Int. J. Man-Machine Studies"},{"key":"31_CR54","unstructured":"Mitchell, James G., William Maybury, and Richard Sweet [1978]. \u201cMesa language manual.\u201d Technical Report CSL-78-1, Xerox Palo Alto Research Center."},{"key":"31_CR55","volume-title":"Machine Oriented Higher Level Languages","author":"MOHLL","year":"1975","unstructured":"MOHLL [1975]. Machine Oriented Higher Level Languages. ed. W. L. van der Poel and L. A. Maarssen, North-Holland, Amsterdam."},{"issue":"2","key":"31_CR56","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1145\/362007.362033","volume":"13","author":"H. L. Morgan","year":"1970","unstructured":"Morgan, H. L. [1970]. \u201cSpelling correction in system programs.\u201d Comm. ACM\n13, no. 2, pp. 90\u201394.","journal-title":"Comm. ACM"},{"key":"31_CR57","first-page":"339","volume-title":"Proc. IFIP Congress 71","author":"D. L. Parnas","year":"1971","unstructured":"Parnas, D. L. [1971]. \u201cInformation distribution aspects of design methodology.\u201d In Proc. IFIP Congress 71. pp. 339\u2013344, North-Holland, Amsterdam."},{"key":"31_CR58","volume-title":"Programming Languages: Design and Implementation","author":"T. W. Pratt","year":"1975","unstructured":"Pratt, Terrence W. [1975]. Programming Languages: Design and Implementation. Prentice-Hall, Englewood Cliffs."},{"issue":"6","key":"31_CR59","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1145\/390016.808467","volume":"10","author":"B. Randell","year":"1975","unstructured":"Randell, B. [1975]. \u201cSystem structure for software fault tolerance.\u201d SIGPLAN Notices\n10, no. 6, pp. 437\u2013449.","journal-title":"SIGPLAN Notices"},{"issue":"3","key":"31_CR60","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/390017.808315","volume":"12","author":"B. Randell","year":"1977","unstructured":"\u2014, and P. M. Melliar-Smith [1977]. \u201cSoftware reliability: The role of programmed exception handling.\u201d SIGPLAN Notices\n12, no. 3, pp. 95\u2013100.","journal-title":"SIGPLAN Notices"},{"key":"31_CR61","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1002\/spe.4380020303","volume":"2","author":"E. Satterthwaite","year":"1972","unstructured":"Satterthwaite, E. [1972]. \u201cDebugging tools for high-level languages.\u201d Software\u2014Practice and Experience\n2, pp. 197\u2013217.","journal-title":"Software\u2014Practice and Experience"},{"key":"31_CR62","unstructured":"Sharp [1977]. \u201cSmall Euclid transliterator.\u201d Technical Report, I. P. Sharp Associates Special Systems Division, Toronto."},{"key":"31_CR63","unstructured":"Shaw, Mary [1976]. \u201cAbstraction and verification in Alphard: Design and verification of a tree handler.\u201d In Proc. Fifth Texas Conf. Computing Systems. pp. 86\u201394."},{"key":"31_CR64","unstructured":"\u2014, Wm. A. Wulf, and Ralph L. London [1976]. \u201cAbstraction and verification in Alphard: Iteration and generators.\u201d Technical Report, Carnegie-Mellon University Department of Computer Science and University of Southern California Information Sciences Institute."},{"issue":"8","key":"31_CR65","doi-asserted-by":"publisher","first-page":"553","DOI":"10.1145\/359763.359782","volume":"20","author":"M. Shaw","year":"1977","unstructured":"\u2014 \u2014, and \u2014 [1977]. \u201cAbstraction and verification in Alphard: Defining and specifying iteration and generators.\u201d Comm. ACM\n20, no. 8, pp. 553\u2013564.","journal-title":"Comm. ACM"},{"key":"31_CR66","unstructured":"Shneidermann, B. [1974]. \u201cTwo experiments in programming behavior.\u201d Technical Report 17, Indiana University Computer Science Department."},{"key":"31_CR67","unstructured":"\u2014[1977]. Special issue on language design for reliable software. SIGPLAN Notices\n12, no. 3."},{"issue":"1","key":"31_CR68","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/S0020-7373(73)80011-2","volume":"5","author":"M. E. Sime","year":"1973","unstructured":"Sime, M. E., T. R. Green, and D. J. Guest [1973]. \u201cPsychological evaluation of two conditional constructions used in computer languages.\u201d Int. J. Man-Machine Studies\n5, no. 1, pp. 105\u2013113.","journal-title":"Int. J. Man-Machine Studies"},{"key":"31_CR69","volume-title":"Lecture given at IBM Scientific Center","author":"C. Strachey","year":"1973","unstructured":"Strachey, C. [1973]. Lecture given at IBM Scientific Center, Peterlee, England."},{"key":"31_CR70","first-page":"8","volume":"21","author":"W. Teitelman","year":"1972","unstructured":"Teitelman, W. [1972]. \u201cDo what I mean: The programmer's assistant.\u201d Computers and Automation\n21, pp. 8\u201311.","journal-title":"Computers and Automation"},{"key":"31_CR71","doi-asserted-by":"publisher","DOI":"10.1145\/1005888.1005894","volume-title":"Computer Programming Methodology","author":"W. M. Turski","year":"1978","unstructured":"Turski, W. M. [1978]. Computer Programming Methodology. Heyden, London."},{"key":"31_CR72","volume-title":"The Psychology of Computer Programming","author":"G. M. Weinberg","year":"1971","unstructured":"Weinberg, Gerald M. [1971]. The Psychology of Computer Programming. Van Nostrand Reinhold, New York."},{"key":"31_CR73","unstructured":"\u2014[1973]. \u201cThe psychology of improved programming performance.\u201d Datamation\n18, no. 11."},{"key":"31_CR74","unstructured":"Weissman, Laurence M. [1974]. \u201cA methodology for studying the psychological complexity of computer programs.\u201d Technical Report CSRG-37, University of Toronto Computer Systems Research Group."},{"key":"31_CR75","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/BF00264291","volume":"1","author":"N. Wirth","year":"1971","unstructured":"Wirth, N. [1971a]. \u201cThe programming language Pascal.\u201d Acta Informatica\n1, pp. 35\u201363.","journal-title":"Acta Informatica"},{"issue":"4","key":"31_CR76","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1145\/362575.362577","volume":"14","author":"N. Wirth","year":"1971","unstructured":"\u2014 [1971b]. \u201cProgram development by stepwise refinement.\u201d Comm. ACM\n14, no. 4, pp. 221\u2013227.","journal-title":"Comm. ACM"},{"key":"31_CR77","first-page":"386","volume-title":"Proc. IFIP Congress 74","author":"N. Wirth","year":"1974","unstructured":"\u2014 [1974a]. \u201cOn the design of programming languages.\u201d In Proc. IFIP Congress 74. pp. 386\u2013393, North-Holland, Amsterdam."},{"issue":"4","key":"31_CR78","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1145\/356635.356639","volume":"6","author":"N. Wirth","year":"1974","unstructured":"\u2014 [1974b]. \u201cOn the composition of well-structured programs.\u201d Comp. Surveys\n6, no. 4, pp. 247\u2013259.","journal-title":"Comp. Surveys"},{"issue":"2","key":"31_CR79","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1145\/953353.953355","volume":"8","author":"W. Wulf","year":"1973","unstructured":"Wulf, W., and Mary Shaw [1973]. \u201cGlobal variable considered harmful.\u201d SIGPLAN Notices\n8, no. 2, pp. 28\u201334.","journal-title":"SIGPLAN Notices"},{"key":"31_CR80","unstructured":"Wulf, Wm. A., Ralph L. London, and Mary Shaw [1976a]. \u201cAbstraction and verification in Alphard: Introduction to language and methodology.\u201d Technical Report, Carnegie-Mellon University Department of Computer Science and University of Southern California Information Sciences Institute."},{"issue":"4","key":"31_CR81","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1109\/TSE.1976.233830","volume":"SE-2","author":"W. A. Wulf","year":"1976","unstructured":"\u2014 \u2014 and \u2014 [1976b]. \u201cAn introduction to the construction and verification of Alphard programs.\u201d IEEE Trans. Software Engineering\nSE-2, no. 4, pp. 253\u2013265.","journal-title":"IEEE Trans. Software Engineering"}],"container-title":["Lecture Notes in Computer Science","Program Construction"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0014680","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,19]],"date-time":"2022-08-19T06:03:35Z","timestamp":1660889015000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/BFb0014680"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1979]]},"ISBN":["9783540092513","9783540353126"],"references-count":81,"URL":"https:\/\/doi.org\/10.1007\/bfb0014680","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1979]]},"assertion":[{"value":"9 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}