{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T02:56:55Z","timestamp":1743044215047,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"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\/bfb0014665","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T05:25:49Z","timestamp":1132723549000},"page":"125-132","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A case study in language design: Euclid"],"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":"16_CR1","volume-title":"A Discipline of Programming","author":"E. W. Dijkstra","year":"1976","unstructured":"Dijkstra, E. W. [1976]. A Discipline of Programming. Prentice-Hall, Englewood Cliffs."},{"issue":"3","key":"16_CR2","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1145\/390017.808308","volume":"12","author":"Fischer","year":"1977","unstructured":"Fischer, Charles N., and Richard J. LeBlanc [1977]. \u201cEfficient implementation and Optimization of run-time checking in Pascal.\u201d SIGPLAN Notices\n12, no. 3, pp. 19\u201324.","journal-title":"SIGPLAN Notices"},{"key":"16_CR3","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/BF00288652","volume":"3","author":"A. N. Habermann","year":"1973","unstructured":"Habermann, A. N. [1973]. \u201cCritical comments on the programming language Pascal.\u201d Acta Informatica\n3, pp. 47\u201357.","journal-title":"Acta Informatica"},{"key":"16_CR4","unstructured":"Hoare, C. A. R. [1973]. \u201cHints on programming language design.\u201d Technical Report STAN-CS-73-403, Stanford University Computer Science Department."},{"key":"16_CR5","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":"16_CR6","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"},{"key":"16_CR7","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":"16_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF00260921","volume":"10","author":"R. L. London","year":"1978","unstructured":"London, R. L., 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"},{"key":"16_CR9","unstructured":"Luckham, D., and N. Suzuki [1976]. \u201cAutomatic program verification V: Verification-oriented proof rules for arrays, records, and pointers.\u201d Technical Report STAN-CS-76-549, Stanford University Computer Science Department."},{"key":"16_CR10","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":"3","key":"16_CR11","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1145\/390017.808307","volume":"12","author":"G. J. Popek","year":"1977","unstructured":"Popek, G. J., J. J. Horning, B. W. Lampson, R. L. London, J. G. Mitchell [1977]. \u201cNotes on the design of Euclid.\u201d SIGPLAN Notices\n12, no. 3, pp. 11\u201318.","journal-title":"SIGPLAN Notices"},{"key":"16_CR12","unstructured":"SIGPLAN [1976]. Special issue on data: abstraction, definition, and structure. SIGPLAN Notices\n11."},{"issue":"2","key":"16_CR13","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1145\/321941.321957","volume":"23","author":"B. Wegbreit","year":"1976","unstructured":"Wegbreit, B., and J. Spitzen [1976]. \u201cProving properties of complex data structures.\u201d J. ACM\n23, no. 2, pp. 389\u2013396.","journal-title":"J. ACM"}],"container-title":["Lecture Notes in Computer Science","Program Construction"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0014665","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,19]],"date-time":"2022-08-19T05:03:29Z","timestamp":1660885409000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/BFb0014665"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1979]]},"ISBN":["9783540092513","9783540353126"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/bfb0014665","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"}}]}}