{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T04:17:46Z","timestamp":1742617066587,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540071686"},{"type":"electronic","value":"9783540375029"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1973]]},"DOI":"10.1007\/3-540-07168-7_71","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T15:51:33Z","timestamp":1330185093000},"page":"12-28","source":"Crossref","is-referenced-by-count":2,"title":["The design and construction of software systems"],"prefix":"10.1007","author":[{"given":"Jack B.","family":"Dennis","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"2_CR1","volume-title":"BASIC Programming","author":"J. G. Kemeny","year":"1967","unstructured":"J. G. Kemeny and T.E. Kurtz, BASIC Programming. John Wiley and Sons, Inc., New York 1967."},{"issue":"2","key":"2_CR2","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1145\/363744.363749","volume":"8","author":"P. J. Landin","year":"1965","unstructured":"P. J. Landin, A correspondence between ALGOL 60 and Church's lambdanotation, Part I: Comm. of the ACM, Vol. 8, No. 2 (February 1965), pp 89\u2013101. Part II: Comm. of the ACM, Vol. 8, No. 3 (March 1965), pp 158\u2013169","journal-title":"Comm. of the ACM"},{"issue":"2","key":"2_CR3","first-page":"55","volume":"6","author":"J. B. Johnston","year":"1971","unstructured":"J. B. Johnston, The contour model of block structured processes. Proceedings of a Symposium on Data Structures in Programming Languages, SIGPLAN Notices, Vol. 6, No. 2 (February 1971), pp 55\u201382.","journal-title":"Proceedings of a Symposium on Data Structures in Programming Languages, SIGPLAN Notices"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"D. M. Berry, Block structure: retention or deletion? Proceedings of the 3rd Annual ACM Symposium on Theory of Computing, May 1971, pp 86\u2013100.","DOI":"10.1145\/800157.805041"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"P. Lucas and K. Walk, On the formal description of PL\/I. Annual Review in Automatic Programming, Vol. 6, Part 3, Pergamon Press, 1969.","DOI":"10.1016\/0066-4138(69)90005-6"},{"key":"2_CR6","unstructured":"P. Lucas, P. Lauer, and H. Stigleitner, Method and Notation for the Formal Definition of Programming Languages. Technical Report TR 25.087, IBM Laboratory Vienna, June 1968."},{"issue":"1","key":"2_CR7","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1145\/800235.807074","volume":"7","author":"M. S. Paterson","year":"1972","unstructured":"M. S. Paterson, Decision problems in computational models. Proceedings of an ACM Conference on Proving Assertions About Programs, SIGPLAN Notices, Vol. 7, No. 1 (January 1972), pp 74\u201382.","journal-title":"Proceedings of an ACM Conference on Proving Assertions About Programs, SIGPLAN Notices"},{"key":"2_CR8","unstructured":"A. P. Ershov, Survey paper on program schemata, presented at the IFIP Congress, Ljubljana, 1971."},{"key":"2_CR9","doi-asserted-by":"crossref","first-page":"511","DOI":"10.1016\/S0022-0000(71)80013-2","volume":"5","author":"A. Holt","year":"1971","unstructured":"A. Holt, F. Commoner, S. Even, and A. Pnueli, Marked directed graphs. J. of Computer and System Sciences, Vol. 5, No. (1971), pp 511\u2013523.","journal-title":"J. of Computer and System Sciences"},{"key":"2_CR10","volume-title":"Programming Languages","author":"E. W. Dijkstra","year":"1968","unstructured":"E. W. Dijkstra, Co-operating sequential processes. Programming Languages, F. Genuys, Ed., Academic Press, New York 1968. (First published as Report EWD 123, Department of Mathematics, Technological University, Eindhoven, The Netherlands, 1965.)"},{"key":"2_CR11","first-page":"107","volume-title":"Closure Properties of interconnections of determinate systems","author":"S. S. Patil","year":"1970","unstructured":"S. S. Patil, Closure Properties of interconnections of determinate systems. Record of the Project MAC Conference on Concurrent System and Parallel Computation, ACM, New York 1970, pp 107\u2013116"},{"issue":"3","key":"2_CR12","doi-asserted-by":"crossref","first-page":"174","DOI":"10.1007\/BF01933419","volume":"8","author":"E. W. Dijkstra","year":"1968","unstructured":"E. W. Dijkstra, A constructive approach to the problem of program correctness. BIT (Nordisk Tidskrift for Informations-behandling), Vol. 8, No. 3 (1968), pp 174\u2013186.","journal-title":"BIT"},{"issue":"3","key":"2_CR13","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1145\/362566.362568","volume":"14","author":"Z. Manna","year":"1971","unstructured":"Z. Manna and R. J. Waldinger, Toward automatic program synthesis. Comm. of the ACM, Vol. 14, No. 3 (March 1971), pp 151\u2013165.","journal-title":"Comm. of the ACM"},{"issue":"11","key":"2_CR14","doi-asserted-by":"crossref","first-page":"1312","DOI":"10.1109\/T-C.1971.223133","volume":"C-20","author":"A. Avizienis","year":"1971","unstructured":"A. Avizienis, G. C. Gilley, F. P. Mathur, D. A. Rennels, J. A. Rohr, and D. K. Rubin, The STAR (Self-Testing and Repairing) computer: an investigation of the theory and practice of fault-tolerant computer design. IEEE Trans. on Computers, Vol. C-20, No. 11 (November 1971), pp 1312\u20131321.","journal-title":"IEEE Trans. on Computers"}],"container-title":["Lecture Notes in Computer Science","Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-07168-7_71.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T19:55:12Z","timestamp":1742586912000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-07168-7_71"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1973]]},"ISBN":["9783540071686","9783540375029"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-07168-7_71","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1973]]}}}