{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,28]],"date-time":"2026-02-28T13:00:47Z","timestamp":1772283647286,"version":"3.50.1"},"publisher-location":"Dordrecht","reference-count":21,"publisher":"Springer Netherlands","isbn-type":[{"value":"9789401047890","type":"print"},{"value":"9789401117937","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/978-94-011-1793-7_14","type":"book-chapter","created":{"date-parts":[[2011,9,12]],"date-time":"2011-09-12T11:40:00Z","timestamp":1315827600000},"page":"297-319","source":"Crossref","is-referenced-by-count":2,"title":["Social Processes and Proofs of Theorems and Programs"],"prefix":"10.1007","author":[{"given":"Richard A.","family":"De Millo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard J.","family":"Lipton","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alan J.","family":"Perlis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"14_CR1","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1147\/sj.111.0056","volume":"11","author":"FT Baker","year":"1972","unstructured":"Baker, F. T.: 1972, \u2018Chief Programmer Team Management of Production Programming\u2019, IBM Syst. J. 11(1), 56\u201373.","journal-title":"IBM Syst. J."},{"key":"14_CR2","doi-asserted-by":"publisher","first-page":"1143","DOI":"10.1073\/pnas.50.6.1143","volume":"50","author":"PJ Cohen","year":"1963","unstructured":"Cohen, P. J.: 1963, \u2018The Independence of the Continuum Hypothesis\u2019, Proc. Nat. Acad. Sci., USA. Part I 50, 1143\u20131148","journal-title":"Proc. Nat. Acad. Sci., USA"},{"key":"14_CR3","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1073\/pnas.51.1.105","volume":"51","author":"PJ Cohen","year":"1963","unstructured":"Cohen, P. J.: 1963, \u2018The Independence of the Continuum Hypothesis\u2019, Proc. Nat. Acad. Sci., USA. Part II, 51, 105\u2013110.","journal-title":"Proc. Nat. Acad. Sci., USA"},{"issue":"3","key":"14_CR4","doi-asserted-by":"publisher","first-page":"252","DOI":"10.2307\/2316620","volume":"79","author":"PJ Davis","year":"1972","unstructured":"Davis, P. J.: 1972, \u2018Fidelity in Mathematical Discourse: Is One and One Really Two?\u2019, The Amer. Math. Monthly\n                  79(3), 252\u2013263.","journal-title":"The Amer. Math. Monthly"},{"issue":"1","key":"14_CR5","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1007\/BF03023041","volume":"1","author":"P Bateman","year":"1978","unstructured":"Bateman, P. and Diamond, H.: 1978, \u2018John E. Littlewood (1885\u20131977): An Informal Obituary\u2019, The Math. Intelligencer\n                  1(1), 28\u201333.","journal-title":"The Math. Intelligencer"},{"key":"14_CR6","first-page":"113","volume":"41","author":"H Gelerenter","year":"1973","unstructured":"Gelerenter, H. et al.: 1973, \u2018The Discovery of Organic Synthetic Roots by Computer\u2019, Topics in Current Chemistry\n                  41, Springer-Verlag, pp. 113\u2013150.","journal-title":"Topics in Current Chemistry"},{"key":"14_CR7","volume-title":"Ph.D. Thesis","author":"JA George","year":"1971","unstructured":"George, J. Alan: 1971, \u2018Computer Implementation of the Finite Element Method\u2019, Ph.D. Thesis, Stanford U., Stanford, Calif."},{"key":"14_CR8","first-page":"204","volume-title":"The Thirteen Books of Euclid\u2019s Elements","author":"TL Heath","year":"1956","unstructured":"Heath, Thomas L.: 1956, The Thirteen Books of Euclid\u2019s Elements, Dover, New York, pp. 204\u2013219."},{"key":"14_CR9","first-page":"322","volume":"24","author":"PJ Heawood","year":"1890","unstructured":"Heawood, P. J.: 1890, \u2018Map Colouring Theorems\u2019, Quarterly J. Math., Oxford Series\n                  24, 322\u2013339.","journal-title":"Quarterly J. Math., Oxford Series"},{"key":"14_CR10","volume-title":"Research Directions in Software Technology","author":"CAR Hoare","year":"1978","unstructured":"Hoare, C. A. R.: 1978, Quoted in Software Management, C. McGowan and R. McHenry (Eds.), Research Directions in Software Technology, M.I.T. Press, Cambridge, Mass."},{"key":"14_CR11","first-page":"118","volume-title":"The Axiom of Choice","author":"TJ Jech","year":"1973","unstructured":"Jech, Thomas J.: 1973, The Axiom of Choice. North-Holland Pub. Co., Amsterdam, p. 118."},{"key":"14_CR12","doi-asserted-by":"publisher","first-page":"193","DOI":"10.2307\/2369235","volume":"2","author":"AB Kempe","year":"1879","unstructured":"Kempe, A. B.: 1879, \u2018On the Geographical Problem of the Four Colors\u2019, Amer. J. Math. 2, 193\u2013200.","journal-title":"Amer. J. Math."},{"key":"14_CR13","doi-asserted-by":"publisher","first-page":"989","DOI":"10.1126\/science.192.4243.989","volume":"192","author":"GB Kolata","year":"1976","unstructured":"Kolata, G. Bari: 1976, \u2018Mathematical Proof: The Genesis of Reasonable Doubt\u2019, Science\n                  192, 989\u2013990.","journal-title":"Science"},{"key":"14_CR14","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139171472","volume-title":"Proofs and Refutations: The Logic of Mathematical Discovery","author":"I Lakatos","year":"1976","unstructured":"Lakatos, Imre: 1976, Proofs and Refutations: The Logic of Mathematical Discovery, Cambridge University Press, England."},{"key":"14_CR15","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1007\/978-1-4757-4385-2","volume-title":"A Course in Mathematical Logic","author":"YuI Manin","year":"1977","unstructured":"Manin, Yu I.: 1977, A Course in Mathematical Logic, Springer-Verlag, pp. 48\u201351."},{"key":"14_CR16","volume-title":"\u2018The Inherent Computational Complexity of Theories of Ordered Sets: A Brief Survey\u2019","author":"A Meyer","year":"1974","unstructured":"Meyer, A.: 1974, \u2018The Inherent Computational Complexity of Theories of Ordered Sets: A Brief Survey\u2019, Int. Cong. of Mathematicians, Aug."},{"issue":"3","key":"14_CR17","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1145\/800022.808307","volume":"12","author":"G Popek","year":"1977","unstructured":"Popek, G. et al.: 1977, \u2018Notes on the Design of Euclid\u2019, Proc. Conf. Language Design for Reliable Software, SIGPLAN Notices (ACM) 12(3), pp. 11\u201318.","journal-title":"Proc. Conf. Language Design for Reliable Software, SIGPLAN Notices (ACM)"},{"key":"14_CR18","volume-title":"Algorithms and Complexity: New Directions and Recent Results","author":"MO Rabin","year":"1976","unstructured":"Rabin, M. O.: 1976, \u2018Probabilistic Algorithms\u2019, in: J. F. Traub (Ed.), Algorithms and Complexity: New Directions and Recent Results, Academic Press, New York."},{"key":"14_CR19","volume-title":"Courant Rep.","author":"J Schwartz","year":"1973","unstructured":"Schwartz, J.: 1973, \u2018On Programming\u2019, Courant Rep., New York U., New York."},{"key":"14_CR20","volume-title":"Ph.D. Thesis","author":"L Stockmeyer","year":"1974","unstructured":"Stockmeyer, L.: 1974, \u2018The Complexity of Decision Problems in Automata Theory and Logic\u2019. Ph.D. Thesis, M.I.T., Cambridge, Mass."},{"key":"14_CR21","first-page":"288","volume-title":"Adventures of a Mathematician","author":"SM Ulam","year":"1976","unstructured":"Ulam, S. M.: 1976, Adventures of a Mathematician, Scribner\u2019s, New York, p. 288."}],"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_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,4]],"date-time":"2019-04-04T00:45:35Z","timestamp":1554338735000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-94-011-1793-7_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9789401047890","9789401117937"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-94-011-1793-7_14","relation":{},"ISSN":["0924-0780"],"issn-type":[{"value":"0924-0780","type":"print"}],"subject":[],"published":{"date-parts":[[1993]]}}}