{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T07:23:46Z","timestamp":1725607426229},"publisher-location":"Dordrecht","reference-count":12,"publisher":"Springer Netherlands","isbn-type":[{"type":"print","value":"9789401047890"},{"type":"electronic","value":"9789401117937"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/978-94-011-1793-7_13","type":"book-chapter","created":{"date-parts":[[2011,9,12]],"date-time":"2011-09-12T15:40:00Z","timestamp":1315842000000},"page":"275-293","source":"Crossref","is-referenced-by-count":4,"title":["Limits of Correctness in Computers"],"prefix":"10.1007","author":[{"given":"Brian Cantwell","family":"Smith","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","first-page":"175","volume-title":"The Computer Revolution","author":"E Berkeley","year":"1962","unstructured":"Berkeley, Edmund: 1962, The Computer Revolution, Doubleday, pp. 175\u2013177, citing newspaper stories in the Manchester Guardian Weekly of Dec. 1, 1960, a UPI dispatch published in the Boston Traveller of Dec. 13, 1960, and an AP dispatch published in the New York Times on Dec 23, 1960."},{"key":"13_CR2","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1016\/S0049-237X(08)72018-4","volume-title":"Computer Programming and Formal Systems","author":"J McCarthy","year":"1963","unstructured":"McCarthy, John: 1963, \u2018A Basis for a Mathematical Theory of Computation\u2019, in: P. Braffort and D. Hirschberg (Eds.), Computer Programming and Formal Systems, Amsterdam: North-Holland, 1967, pp. 33\u201370."},{"key":"13_CR3","volume-title":"Mathematical Aspects of Computer Science","author":"R Floyd","year":"1967","unstructured":"Floyd, Robert: 1967, \u2018Assigning Meaning to Programs\u2019, Proceedings of Symposia in Applied Mathematics\n                  19 (also in F. T. Schwartz (Ed.) Mathematical Aspects of Computer Science, Providence: American Mathematical Society, 1967). Naur, P.: 1966, \u2018Proof of Algorithms by General Snapshots\u2019, BIT\n                  6(4), 310\u2013316."},{"key":"13_CR4","unstructured":"Stevens, AL, BBN Inc.: personal communication."},{"volume-title":"The Correctness Problem in Computer Science","year":"1981","key":"13_CR5","unstructured":"See, for example, Boyer, R. S., and J S. Moore, (Eds.): 1981, The Correctness Problem in Computer Science, London: Academic Press."},{"key":"13_CR6","volume-title":"Report of the Study on Eliminating the Threat Posed by Nuclear Ballistic Missiles (U), Vol. 5, Battle Management, Communications, and Data Processing (U)","author":"J Fletcher","year":"1984","unstructured":"Fletcher, James, study chairman, and McMillan, Brockway, panel chairman: 1984, Report of the Study on Eliminating the Threat Posed by Nuclear Ballistic Missiles (U), Vol. 5, Battle Management, Communications, and Data Processing (U), U.S. Department of Defense, February."},{"key":"13_CR7","unstructured":"See, for example, the Hart\u2014Goldwater report to the Committee on Armed Services of the U.S. Senate: \u2018Recent False Alerts from the Nation\u2019s Missile Attack Warning System\u2019 (Washington, D.C.: U.S. Government Printing Office, Oct. 9, 1980)"},{"key":"13_CR8","series-title":"\u2018Accidental Nuclear War\u2019","first-page":"1","volume-title":"Newsletter","author":"Physicians for Social Responsibility","year":"1982","unstructured":"Physicians for Social Responsibility, Newsletter, \u2018Accidental Nuclear War\u2019, Winter, 1982, p. 1."},{"key":"13_CR9","unstructured":"See, for example, the Hart\u2014Goldwater report to the Committee on Armed Services of the U.S. Senate: \u2018Recent False Alerts from the Nation\u2019s Missile Attack Warning System\u2019 (Washington, D.C.: U.S. Government Printing Office, Oct. 9, 1980)"},{"key":"13_CR10","series-title":"\u2018Accidental Nuclear War\u2019","first-page":"1","volume-title":"Newsletter","author":"Physicians for Social Responsibility","year":"1982","unstructured":"Physicians for Social Responsibility, Newsletter, \u2018Accidental Nuclear War\u2019, Winter, 1982, p. 1."},{"key":"13_CR11","first-page":"175","volume-title":"The Computer Revolution","author":"E Berkeley","year":"1962","unstructured":"Berkeley, Edmund: 1962, The Computer Revolution, Doubleday, pp. 175\u2013177. See also Daniel Ford\u2019s two-part article \u2018The Button\u2019, New Yorker, April 1, 1985, p. 43, and April 8, 1985, p. 49, excerpted from Ford, Daniel, The Button, New York: Simon and Schuster, 1985."},{"key":"13_CR12","unstructured":"Developing software for fault-tolerant systems is in fact an extremely tricky business."}],"container-title":["Studies in Cognitive Systems","Program Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-94-011-1793-7_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,6]],"date-time":"2021-05-06T16:03:31Z","timestamp":1620317011000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-94-011-1793-7_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9789401047890","9789401117937"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-94-011-1793-7_13","relation":{},"ISSN":["0924-0780"],"issn-type":[{"type":"print","value":"0924-0780"}],"subject":[],"published":{"date-parts":[[1993]]}}}