{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,30]],"date-time":"2025-12-30T23:59:55Z","timestamp":1767139195056,"version":"build-2238731810"},"publisher-location":"Berlin, Heidelberg","reference-count":76,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783662391044","type":"print"},{"value":"9783662400876","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1975]]},"DOI":"10.1007\/978-3-662-40087-6_2","type":"book-chapter","created":{"date-parts":[[2013,12,6]],"date-time":"2013-12-06T00:57:18Z","timestamp":1386291438000},"page":"52-67","source":"Crossref","is-referenced-by-count":0,"title":["Toward a Methodology for Designing Large Systems and Verifying Their Properties"],"prefix":"10.1007","author":[{"given":"Peter G.","family":"Neumann","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","volume-title":"Automatic Programming, RR-73-1, USC\/Information Sciences Institute","author":"RM Balzer","year":"1972","unstructured":"R. M. Balzer, \u201cAutomatic Programming,\u201d RR-73\u20131, USC\/Information Sciences Institute, Marina del Rey, California (September 1972)."},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"F. T. Baker, \u201cChief Programmer Teams,\u201d IBM Systems Journal, Vol. 11, No. 1 (1972).","DOI":"10.1147\/sj.111.0056"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"F. T. Baker, \u201cSystem Quality Through Structured Programming,\u201d AFIPS Proc. FJCC, pp. 339\u2013343 (1972).","DOI":"10.1145\/1479992.1480037"},{"key":"2_CR4","volume-title":"Report SCRR-67-525","author":"WW Bledsoe","year":"1967","unstructured":"W. W. Bledsoe and E. J. Gilbert, \u201cAutomatic Theorem Proof-Checking in Set Theory: a Preliminary Report,\u201d Sandia Corporation, Report SCRR-67\u2013525 (July 1967)."},{"key":"2_CR5","first-page":"192","volume":"2","author":"BW Boehm","year":"1974","unstructured":"B. W. Boehm,\u201d Some Steps toward Formal and Automated Aids to Software Requirements Analysis and Design,\u201d Information Processing 74 (IFIP), North-Holland Publishing, Vol. 2, pp. 192\u2013197 (1974).","journal-title":"North-Holland Publishing"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"R. S. Boyer and J. Moore, \u201cProving Theorems about LISP Functions,\u201d Journ. ACM, Vol. 22, No. 1 (1975).","DOI":"10.1145\/321864.321875"},{"key":"2_CR7","unstructured":"T. H. Bredt and A. R. Saxena, \u201cHeirarchical Design for Operating Systems,\u201d IEEE Computer Conference Fall (Fall COMPCON 74), Washington, D.C. (September 10\u201312, 1974 )."},{"key":"2_CR8","first-page":"394","volume":"2","author":"PB Hansen","year":"1974","unstructured":"P. Brinch Hansen, \u201cA Programming Methodology for Operating System Design,\u201d Information Processing 74 (IFIP), North-Holland Publishing, Vol. 2, pp. 394\u2013397 (1974).","journal-title":"North-Holland Publishing"},{"key":"2_CR9","volume-title":"University of Torontc Canada","author":"B Clark","year":"1974","unstructured":"B. Clark and J. J. Horning, \u201cReflections on a Language for Operating System Design,\u201d Computer Science Research Group, University of Torontc Canada (1974)."},{"key":"2_CR10","unstructured":"O. J. Dahl, in Structured Programming, C.A.R. Hoare Academic Press, New York, N.Y. (1972). 63"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"J. B. Dennis, The Design and Construction of Software Systems, Advanced Course on Software Engineering, Lecture Notes in Economics and Mathematical Sciences 81, pp. 12\u201328, Springer-Verlag, Berlin [Heidelberg and New York] (1973).","DOI":"10.1007\/3-540-07168-7_71"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"J. B. Dennis, \u201cModularity,\u201d loc. cit. pp. 128\u2013182 (1973).","DOI":"10.1007\/3-540-07168-7_77"},{"key":"2_CR13","volume-title":"An Interactive Program Verifier, Ph.D. thesis, University of California","author":"LP Deutsch","year":"1973","unstructured":"L. P. Deutsch, \u201cAn Interactive Program Verifier,\u201d Ph.D. thesis, University of California, Berkeley, California (June 1973)."},{"issue":"5","key":"2_CR14","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1145\/363095.363143","volume":"11","author":"EW Dijkstra","year":"1968","unstructured":"E. W. Dijkstra, \u201cThe Structure of the THE Multiprogramming System,\u201d Comm. ACM, Vol. 11, No. 5, pp. 341\u2013346 (May 1968).","journal-title":"Comm. ACM"},{"key":"2_CR15","volume-title":"Programming Languages, F. Genuys, ed., pp. 43-112, Academic Press","author":"EW Dijkstra","year":"1968","unstructured":"E. W. Dijkstra, \u201cCo-operating Sequential Processes,\u201d in Programming Languages, F. Genuys, ed., pp. 43\u2013112, Academic Press (1968)."},{"key":"2_CR16","first-page":"72","volume-title":"Operating Systems Techniques","author":"EW Dijkstra","year":"1972","unstructured":"E. W. Dijkstra, \u201cHierarchical Ordering of Sequential Process,\u201d in Operating Systems Techniques, pp. 72\u201393, Hoare and Perrott, eds., Academic Press, London (1972)"},{"key":"2_CR17","volume-title":"Structured Programming, C. A. Hoare","author":"EW Dijkstra","year":"1972","unstructured":"E. W. Dijkstra, \u201cNotes on Structured Programming,\u201d in Structured Programming, C. A. Hoare, ed., Academic Press, New York, N.Y. (1972)."},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"E. W. Dijkstra, \u201cGuarded Commands, Non-Determinacy and a Calculus for the Derivation of Programs,\u201d Nuenen, the Netherlands (June 26, 1974 ).","DOI":"10.1145\/800027.808417"},{"issue":"2","key":"2_CR19","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1145\/356599.356602","volume":"4","author":"B Elspas","year":"1972","unstructured":"B. Elspas, K. N. Levitt, R. J. Waldinger, and A. Waksman, \u201cAn Assessment of Techniques for Proving Program Correctness,\u201d Computing Surveys, Vol. 4, No. 2, pp. 97\u2013147 (June 1972).","journal-title":"Computing Surveys"},{"key":"2_CR20","unstructured":"B. Elspas, M. W. Green, K. N. Levitt, R. J. Waldinger, \u201cResearch in Interactive Program-Proving Techniques,\u201d Stanford Research Institute, Report-Phase II, Project 8398 (May 20, 1972 )."},{"key":"2_CR21","volume-title":"The Semiautomatic Generation of Inductive Assertions for Proving Program Correctness, Interim Report, Stanford Research Institute","author":"B Elspas","year":"1974","unstructured":"B. Elspas, \u201cThe Semiautomatic Generation of Inductive Assertions for Proving Program Correctness,\u201d Interim Report, Stanford Research Institute, Menlo Park, California (July 1974)."},{"key":"2_CR22","volume-title":"SELECT\u2014A System for Testing and Debugging Programs by Symbolic Execution, Stanford Research Institute","author":"B Elspas","year":"1974","unstructured":"B. Elspas, R. S. Boyer, and K. N. Levitt, \u201cSELECT\u2014A System for Testing and Debugging Programs by Symbolic Execution,\u201d Stanford Research Institute, Menlo Park, California (September 1974)."},{"key":"2_CR23","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1090\/psapm\/019\/0235771","volume":"19","author":"RW Floyd","year":"1967","unstructured":"R. W. Floyd, \u201cAssigning Meaning to Programs,\u201d American Mathematical Society, Mathematical Aspects of Computer Science, Vol. 19, pp. 19\u201332 (1967).","journal-title":"American Mathematical Society, Mathematical Aspects of Computer Science"},{"key":"2_CR24","volume-title":"North-Holland Publishing","author":"RW Floyd","year":"1971","unstructured":"R. W. Floyd, \u201cToward Interactive Design of Correct Programs,\u201d Information Processing 71 (IFIP, Ljubljana), North-Holland Publishing (1971)."},{"key":"2_CR25","volume-title":"Technical Report","author":"JD Gannon","year":"1973","unstructured":"J. D. Gannon, \u201cAn Annotated Bibliography on Computer Program Engineering,\u201d Technical Report 24, Computer Systems Research Group, University of Toronto (March 1973)."},{"key":"2_CR26","first-page":"897","volume":"9","author":"WK Giloi","year":"1974","unstructured":"W. K. Giloi and H. Liebig, \u201cA Formalism for the Description sis of Logical Algorithms and their Hardware Implementations,\u201d IEEE Trans. Computer, Vol. C-23, No. 9, pp. 897\u2013906 (September 1974).","journal-title":"Liebig, A Formalism for the Description sis of Logical Algorithms and their Hardware Implementations, IEEE Trans. Computer, Vol. C-23"},{"key":"2_CR27","unstructured":"E. L. Glaser et al., \u201cPapers in a Session Devoted to the LOGOS Project,\u201d Digest of IEEE Conference (1972 COMPCON), pp. 175\u2013192 (1972)."},{"key":"2_CR28","volume-title":"Toward a Man-Machine System for Proving Program Correctness, Computation Center TSN-11","author":"PI Good","year":"1970","unstructured":"P. I. Good, \u201cToward a Man-Machine System for Proving Program Correctness,\u201d Computation Center TSN-11, University of Texas, Austin (June 1970)."},{"key":"2_CR29","first-page":"94","volume-title":"Operating Systems Techniques, Hoare and Perrott","author":"G Goos","year":"1973","unstructured":"G. Goos, \u201cSome Basic Principles in Structuring Operating Systems,\u201d in Operating Systems Techniques, Hoare and Perrott (eds.), pp. 94\u2013100, Academic Press, London (1973)."},{"key":"2_CR30","volume-title":"Hierarchies, Advanced Course on Software Engineering, Lecture Notes in Economic and Mathematical Sciences81, pp. 29-46","author":"G Goos","year":"1973","unstructured":"G. Goos, \u201cHierarchies,\u201d Advanced Course on Software Engineering, Lecture Notes in Economic and Mathematical Sciences 81, pp. 29\u201346, Springer-Verlag, Berlin (1973)."},{"key":"2_CR31","doi-asserted-by":"crossref","unstructured":"G. Goos, \u201cLanguage Characteristics\u2014Programming Languages as a Tool in Writing System Software,\u201d loc. cit., pp. 47\u201369 (1973).","DOI":"10.1007\/3-540-07168-7_73"},{"issue":"2","key":"2_CR32","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1145\/361952.361965","volume":"16","author":"RM Graham","year":"1973","unstructured":"R. M. Graham, G. L. Clancy, and D. B. DeVaney, \u201cA Software Design and Evaluation System,\u201d Comm. ACM, Vol. 16, No. 2, pp. 110\u2013116 (February 1973)","journal-title":"Comm. ACM"},{"key":"2_CR33","first-page":"204","volume":"2","author":"P Henderson","year":"1974","unstructured":"P. Henderson and R. A. Snowdon, \u201cA Tool for Structured Program Development,\u201d Information Processing 74 (IFIP), North-Holland Pub- lishing, Vol. 2, pp. 204\u2013207 (1974).","journal-title":"North-Holland Pub- lishing"},{"key":"2_CR34","unstructured":"W. C. Hetzel, ed., Program Test Methods, Prentice-Hall Inc. (1973)."},{"key":"2_CR35","volume-title":"Symposium on Semantics of Algorithmic Languages, Lecture Notes in Mathematics","author":"CAR Hoare","year":"1971","unstructured":"C.A.R. Hoare, \u201cProcedures and Parameters: An Axiomatic Approach,\u201d Symposium on Semantics of Algorithmic Languages, Lecture Notes in Mathematics 188, E. Engeler (ed.), Springer-Verlag, Berlin (1971)."},{"key":"2_CR36","volume-title":"Structured Programming, C.A.R. Hoare","author":"CAR Hoare","year":"1972","unstructured":"C.A.R. Hoare, \u201cNotes on Data Structuring,\u201d in Structured Programming, C.A.R. Hoare, ed., Academic Press, New York, N.Y. (1972)."},{"key":"2_CR37","unstructured":"C.A.R. Hoare and N. Wirth, \u201cAn Axiomatic Definition of the Programming Language PASCAL,\u201d Eidgenossiche Technische Hochshule, Report No. 6 (November 1972)."},{"issue":"1","key":"2_CR38","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1145\/356612.356614","volume":"5","author":"JJ Horning","year":"1973","unstructured":"J. J. Horning and B. Randell, \u201cProcess Structuring,\u201d Computing Surveys, Vol. 5, No. 1, pp 5\u201330 (March 1973).","journal-title":"Computing Surveys"},{"key":"2_CR39","volume-title":"Program Structure for Error Detection and Recovery","author":"JJ Horning","year":"1973","unstructured":"J. J. Horning, H. C. Lauer, M. Meliar-Smith, and B. Randell, \u201cProgram Structure for Error Detection and Recovery,\u201d University of Newcastle, England (1973)."},{"key":"2_CR40","volume-title":"Automatic Verification of Programs I: A Logical Basis and Implementation, Memo AIM-200, Stanford Artificial Intelligence Lab","author":"S Igarashi","year":"1973","unstructured":"S. Igarashi, R. London, and D. Luckham, \u201cAutomatic Verification of Programs I: A Logical Basis and Implementation,\u201d Memo AIM-200, Stanford Artificial Intelligence Lab., Stanford, California (May 1973)."},{"key":"2_CR41","unstructured":"S. M. Katz and Z. Manna, \u201cA Heuristic Approach to Program Verifica tion,\u201d Advance Papers of the Conference, Third International Joint Conference on Artificial Intelligence, Stanford University, Stanford, California, pp. 500\u2013512 (August 1973)."},{"key":"2_CR42","unstructured":"T. A. Linden, \u201cCapability-Based Addressing to Support Software Engineering and System Security,\u201d Third Texas Conf. on Computing Systems, Austin, Texas (November 7\u20138, 1974 )."},{"key":"2_CR43","volume-title":"Proc. AMS on Recursive Function Theory","author":"J Mccarthy","year":"1961","unstructured":"John McCarthy, \u201cComputer Programs for Checking Mathematical Proofs,\u201d Proc. AMS on Recursive Function Theory (April 1961)."},{"issue":"3","key":"2_CR44","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1145\/362566.362568","volume":"14","author":"Z Manna","year":"1971","unstructured":"Z. Manna and R. J. Waldinger, \u201cTowards Automatic Program Synthesis,\u201d Comm. ACM, Vol. 14, No. 3, pp. 151\u2013165 (March 1971).","journal-title":"Comm. ACM"},{"key":"2_CR45","volume-title":"Debugging Techniques in Large Systems (R. Rustin (ed.), pp. 41-55, Prentice-Hall Inc","author":"H Mills","year":"1971","unstructured":"H. Mills, \u201cTop Down Programming in Large Systems,\u201d in Debugging Techniques in Large Systems (R. Rustin (ed.), pp. 41\u201355, Prentice-Hall Inc. (1971)."},{"key":"2_CR46","volume-title":"How to Write Correct Programs and Know It, IBM","author":"HD Mills","year":"1972","unstructured":"H. D. Mills, \u201cHow to Write Correct Programs and Know It,\u201d IBM, Gaithersburg, Maryland (December 1972)."},{"key":"2_CR47","volume-title":"Artificial Intelligence Memo","author":"R Milner","year":"1972","unstructured":"R. Milner, \u201cLogic for Computable Functions; Description of a Machine Implementation,\u201d Artificial Intelligence Memo 169, Stanford University, Stanford, California (May 1972)."},{"key":"2_CR48","volume-title":"Lecture Notes in Computer Science (Springer-Verlag)","author":"M Amirchahy","year":"1974","unstructured":"M. Amirchahy and D. Neel, \u201cOptimization of Generated Code by Means of Attributes,\u201d Proc. CI 74, Berlin, October 1974. Lecture Notes in Computer Science (Springer-Verlag, 1974 )."},{"key":"2_CR49","volume-title":"System Design for Computer Networks, Chapter 2 of Computer-Communication Networks, Abramson and Kuo, ed., pp. 29-81","author":"PG Neumann","year":"1973","unstructured":"P. G. Neumann, \u201cSystem Design for Computer Networks,\u201d Chapter 2 of Computer-Communication Networks, Abramson and Kuo, ed., pp. 29\u201381, Prentice-Hall, Inc. (1973)."},{"key":"2_CR50","unstructured":"P. G. Neumann, R. S. Fabry, K. N. Levitt, L. Robinson, and J. H. Wensley, \u201cOn the Design of a Provably Secure Operating System,\u201d IRIA, Rocquencourt, France, pp. 161\u2013175 (August 13\u201314, 1974 )."},{"key":"2_CR51","unstructured":"Parnas 71] D. L. Parnas (private communication)."},{"issue":"5","key":"2_CR52","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1145\/355602.361309","volume":"15","author":"DL Parnas","year":"1972","unstructured":"D. L. Parnas, \u201cA Technique for Software Module Specification With Examples,\u201d CACM, Vol. 15, No. 5, pp. 330\u2013336 (May 1972).","journal-title":"CACM"},{"issue":"12","key":"2_CR53","doi-asserted-by":"publisher","first-page":"1053","DOI":"10.1145\/361598.361623","volume":"15","author":"DL Parnas","year":"1972","unstructured":"D. L. Parnas, \u201cOn the Criteria to be Used in Decomposing Systems Into Modules,\u201d Communications of the ACM, Vol. 15, No. 12, pp. 1053\u201358 (December 1972).","journal-title":"Communications of the ACM"},{"key":"2_CR54","doi-asserted-by":"crossref","unstructured":"D. L. Parnas, \u201cSome Conclusions From an Experiment in Software Engineering Techniques,\u201d Proc. FJCC, pp. 325\u2013329 (1972).","DOI":"10.1145\/1479992.1480035"},{"key":"2_CR55","volume-title":"Carnegie-Mellon University","author":"D. L","year":"1972","unstructured":"D. L. Parnas, \u201cResponse to Detected Errors in Well-Structured Programs,\u201d Technical Report, Department of Computer Science, Carnegie-Mellon University (July 1972)."},{"key":"2_CR56","volume-title":"Use of the Concept of Transparency in the Design of Hierarchically Structured Systems, Technical Report","author":"DL Parnas","year":"1972","unstructured":"D. L. Parnas and D. P. Siewiorek, \u201cUse of the Concept of Transparency in the Design of Hierarchically Structured Systems,\u201d Technical Report, Department of Computer Science, Carnegie-Mellon University (July 1972)."},{"key":"2_CR57","unstructured":"D. L. Parnas, \u201cOn a Buzzword: Hierarchical Structure,\u201d Information Processing 74 (IFIP), Vol. 2, pp. 336\u2013339, North-Holland Publishing (1974)."},{"key":"2_CR58","volume-title":"SRI working paper","author":"L Robinson","year":"1974","unstructured":"L. Robinson and K. N. Levitt, \u201cProof Techniques for Hierarchically Structured Programs,\u201d SRI working paper (July 1974)."},{"key":"2_CR59","volume-title":"Debugging Techniques in Large Systems","year":"1971","unstructured":"R. Bustin, ed., Debugging Techniques in Large Systems, Prentice-Hall, Inc. (1971)."},{"key":"2_CR60","first-page":"467","volume":"106","author":"HA Simon","year":"1962","unstructured":"H. A. Simon, \u201cThe Architecture of Complexity,\u201d Proc. Am. Phil. Soc., Vol. 106, pp. 467\u201382 (December 1962).","journal-title":"Proc. Am. Phil. Soc."},{"key":"2_CR61","volume-title":"Program Test Methods","author":"RA Snowdon","year":"1973","unstructured":"R. A. Snowdon, \u201cPearl\u2014A System for the Preparation and Validation of Structured Programs,\u201d in Program Test Methods, W. C. Hetzel, ed., Prentice-Hall, Inc., Englewood Cliffs, New Jersey (1973)."},{"key":"2_CR62","unstructured":"J. M. Spitzen, \u201cApproaches to Automatic Programming,\u201d Harvard University Ph.D. Thesis, Center for Research in Computing Technology TR 17\u201374 (May 1974)."},{"key":"2_CR63","doi-asserted-by":"crossref","unstructured":"Waldinger and Levitt 73] R. J. Waldinger and K. N. Levitt, \u201cReasoning About Programs,\u201d Proc. SIGACT\/SIGPLAN Symposium on Principles of Programming Languages, pp. 169\u2013182, Boston, Massachusetts (October 1\u20133, 1973). Also to appear in Artificial Intelligence.","DOI":"10.1145\/512927.512943"},{"key":"2_CR64","first-page":"253","volume":"39","author":"B Wegbreit","year":"1971","unstructured":"B. Wegbreit, \u201cThe ECL Programming System,\u201d Proc. AFIPS 1971 FJCC, Vol. 39, pp. 253\u2013262 (1971).","journal-title":"Proc. AFIPS 1971 FJCC"},{"key":"2_CR65","unstructured":"B. Wegbreit, \u201cHeuristic Methods for Mechanically Deriving Inductive Assertions,\u201d Proceedings Third International Joint Conference on Artificial Intelligence, Stanford University, pp. 524\u2013536 (August 1973)."},{"key":"2_CR66","doi-asserted-by":"crossref","unstructured":"P. Wegner, \u201cThe Vienna Definition Language,\u201d ACM Computing Surveys, Vol. 4, No. 1 (1972).","DOI":"10.1145\/356596.356598"},{"key":"2_CR67","volume-title":"The Psychology of Computer Programming","author":"G Weinberg","year":"1971","unstructured":"G. Weinberg, The Psychology of Computer Programming, Van Nostrand Reinhold Company, New York (1971)."},{"key":"2_CR68","volume-title":"Manual for FOL (A Proof Checker for First Order Logic), Stanford University, Artificial Intelligence Group","author":"R Weyhrauch","year":"1974","unstructured":"R. Weyhrauch, \u201cManual for FOL (A Proof Checker for First Order Logic),\u201d Stanford University, Artificial Intelligence Group, Stanford, California (January 1974)."},{"issue":"1","key":"2_CR69","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/BF00264291","volume":"1","author":"N Wirth","year":"1971","unstructured":"N. Wirth, \u201cThe Programming Language Pascal,\u201d Acta Information, Vol. 1, No. 1, pp. 35\u201363 (1971).","journal-title":"Acta Information"},{"issue":"4","key":"2_CR70","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1145\/362575.362577","volume":"14","author":"N Wirth","year":"1971","unstructured":"N. Wirth, \u201cProgram Development by Stepwise Refinement,\u201d Comm. ACM, Vol. 14, No. 4, pp. 221\u2013227 (April 1971).","journal-title":"Comm. ACM"},{"key":"2_CR71","unstructured":"N. Wirth, \u201cOn the Design of Programming Languages,\u201d Information Processing 74 (IFIP), Vol. 2, pp. 386\u2013393, North-Holland Publishing (1974)."},{"key":"2_CR72","volume-title":"ALPHARD, Toward a Language to Support Structured Programs, Carnegie-Mellon University","author":"WA Wulf","year":"1974","unstructured":"W. A. Wulf, \u201cALPHARD, Toward a Language to Support Structured Programs,\u201d Carnegie-Mellon University, Pittsburgh, Pennsylvania (June 1974)."},{"issue":"6","key":"2_CR73","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1145\/355616.364017","volume":"17","author":"WA Wulf","year":"1974","unstructured":"W. A. Wulf et al., \u201cHYDRA: The Kernel of a Multiprocessor Operating System,\u201d Comm. ACM, Vol. 17, No. 6, pp. 337\u2013345 (June 1974).","journal-title":"Comm. ACM"},{"key":"2_CR74","unstructured":"F. W. Zurcher and B. Randell, \u201cInteractive Multilevel Modelling, A Methodology for Computer System Design,\u201d Proceedings of IFIP Congress 1968, North-Holland Publishing, pp. 138\u2013142 (1968)."},{"key":"2_CR75","volume-title":"Systematic Development of Programs by Introducing Economies of Interaction, Department of Machine Intelligence","author":"RM Burstall","year":"1974","unstructured":"R.M. Burstall and J. Darlington, Systematic Development of Programs by Introducing Economies of Interaction, Department of Machine Intelligence, Univ. Edinburgh (1974)."},{"key":"2_CR76","volume-title":"Structured Programming with goto Statements, Computer Science Department, Stanford Univ","author":"D Knuth","year":"1974","unstructured":"D. Knuth, Structured Programming with goto Statements, Computer Science Department, Stanford Univ., Palo Alto, California (May 1974)."}],"container-title":["Lecture Notes in Computer Science","GI-4.Jahrestagung"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-40087-6_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T22:36:17Z","timestamp":1746052577000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-40087-6_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1975]]},"ISBN":["9783662391044","9783662400876"],"references-count":76,"aliases":["10.1007\/3-540-07141-5_209"],"URL":"https:\/\/doi.org\/10.1007\/978-3-662-40087-6_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1975]]}}}