{"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":1725607426858},"publisher-location":"Dordrecht","reference-count":22,"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_12","type":"book-chapter","created":{"date-parts":[[2011,9,12]],"date-time":"2011-09-12T11:40:00Z","timestamp":1315827600000},"page":"261-274","source":"Crossref","is-referenced-by-count":0,"title":["The Place of Strictly Defined Notation in Human Insight"],"prefix":"10.1007","author":[{"given":"Peter","family":"Naur","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","unstructured":"Abramsky, S.: \u2018Domain Theory in Logical Form\u2019, pp. 191\u2013208 in Workshop on Programming Logic, loc. cit."},{"key":"12_CR2","unstructured":"Backhouse, R.: \u2018Overcoming the Mismatch Between Programs and Proofs\u2019, pp. 116\u2013122 in Workshop on Programming Logic, loc. cit."},{"key":"12_CR3","unstructured":"Bruijn, N. C. de: \u2018The Mathematical Vernacular, a Language for Mathematics with Typed Sets\u2019, pp. 1\u201336 in Workshop Programming Logic, loc. cit."},{"issue":"5","key":"12_CR4","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/1005882.1005883","volume":"2","author":"EW Dijkstra","year":"1977","unstructured":"Dijkstra, E. W.: 1977, \u2018A Position Paper on Software Reliability\u2019, ACM SIGSOFT Software Engineering Notes\n                  2(5), 3\u20135.","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"12_CR5","unstructured":"Dybjer, P.: \u2018From Type Theory Theory to LCF \u2014 A Case Study in Program Verification\u2019, pp. 99\u2013109 in Workshop on Programming Logic, loc. cit."},{"key":"12_CR6","series-title":"Programming Methodology Group","volume-title":"Workshop on Programming Logic","year":"1987","unstructured":"Dybjer, P., Nordstr\u00f6m, B., Peterson, K., and Smith, J. M. (Eds.): 1987, Workshop on Programming Logic, Programming Methodology Group, Report 37. Univ. of G\u00f6teborg and Chalmers Univ. of Technology. G\u00f6teborg, Sweden, October."},{"key":"12_CR7","first-page":"232","volume-title":"Ideas and Opinions","author":"A Einstein","year":"1921","unstructured":"Einstein, A.: 1921, \u2018Geometry and Experience\u2019, pp. 232\u2013246 in Ideas and Opinions, C. Selig (Ed.), New York: Crown Publishers, 1954."},{"key":"12_CR8","first-page":"58","volume-title":"Out of My Later Years","author":"A Einstein","year":"1936","unstructured":"Einstein, A.: 1936, \u2018Physics and Reality\u2019, pp. 58\u201394 in Out of My Later Years, New York: Philosophical Library, 1950."},{"key":"12_CR9","unstructured":"Hanna, K., and Daeche, N.: \u2018An Algebraic Approach to Computational Logic\u2019, pp. 301\u2013326 in Workshop on Programming Logic, loc. cit."},{"key":"12_CR10","volume-title":"Why the Professor Can\u2019t Teach \u2014 Mathematics and the Dilemma of University Education","author":"M Kline","year":"1977","unstructured":"Kline, M.: 1977, Why the Professor Can\u2019t Teach \u2014 Mathematics and the Dilemma of University Education, New York: St. Martin\u2019s Press."},{"key":"12_CR11","unstructured":"Larsen, K. G.: \u2018Proof Systems for Hennessy\u2014Milner Logic with Recursion\u2019, pp. 444\u2013481 in Workshop on Programming Logic, loc. cit."},{"key":"12_CR12","unstructured":"Manna, Z., and Waldinger, R.: \u2018The Deductive Synthesis of Imperative LISP Programs\u2019, pp. 39\u201345 in Workshop on Programming Logic, loc. cit."},{"key":"12_CR13","first-page":"153","volume-title":"Proc. 6th Int. Congress of Logic, Methodology and Philosophy of Science, Hannover","author":"P Martin-L\u00f6f","year":"1979","unstructured":"Martin-L\u00f6f, P.: 1979, \u2018Constructive Mathematics and Computer Programming\u2019, pp. 153\u2013175 in Proc. 6th Int. Congress of Logic, Methodology and Philosophy of Science, Hannover. Amsterdam: North Holland."},{"issue":"12","key":"12_CR14","doi-asserted-by":"publisher","first-page":"676","DOI":"10.1145\/361227.361229","volume":"18","author":"P Naur","year":"1975","unstructured":"Naur, P.: 1975, \u2018Programming Languages Natural Languages, and Mathematics\u2019, Comm. ACM\n                  18(12), 676\u2013683. This selection Section 1.3.","journal-title":"Comm. ACM"},{"key":"12_CR15","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1016\/0165-6074(85)90032-8","volume":"15","author":"P Naur","year":"1985","unstructured":"Naur, P.: 1985, \u2018Programming as Theory Building\u2019, Microprocessing and Microprogramming\n                  15, 253\u2013261. This selection Section 1.4.","journal-title":"Microprocessing and Microprogramming"},{"key":"12_CR16","unstructured":"Paulin-Mohring, C.: \u2018An Example of Algorithm Development in the Calculus of Constructions: Binary Search for the Computation of the Lambo Function\u2019, pp. 123\u2013135 in Workshop on Programming Logic, loc. cit."},{"key":"12_CR17","volume-title":"Word and Object","author":"WO Quine","year":"1960","unstructured":"Quine, W. O.: 1960, Word and Object, Cambridge, Mass.: M.I.T. Press."},{"key":"12_CR18","first-page":"74","volume-title":"Mysticism and Logic","author":"B Russell","year":"1901","unstructured":"Russell, B.: 1901, \u2018Mathematics and the Metaphysicians\u2019, pp. 74\u201394 in Mysticism and Logic, Harmondsworth: Penguin, 1954."},{"key":"12_CR19","volume-title":"\u2018Introduction\u2019, pp. 7\u201323 in L. Wittgenstein, Tractatus Logico-Philosophicus","author":"B Russell","year":"1922","unstructured":"Russell, B.: 1922, \u2018Introduction\u2019, pp. 7\u201323 in L. Wittgenstein, Tractatus Logico-Philosophicus. London: Routledge and Kegan Paul."},{"key":"12_CR20","volume-title":"Portraits From Memory","author":"B Russell","year":"1956","unstructured":"Russell, B.: 1956, Portraits From Memory."},{"key":"12_CR21","unstructured":"Smyth, M. B.: \u2018Quasi-Uniformities: Reconciling Domains with Metric Spaces\u2019, pp. 173\u2013190 in Workshop on Programming Logic, loc. cit."},{"key":"12_CR22","unstructured":"Winskel, G.: \u2018Relating Two Models of Hardware\u2019, pp. 427\u2013443 in Workshop on Programming Logic, loc. cit."}],"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_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,6]],"date-time":"2021-05-06T12:03:31Z","timestamp":1620302611000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-94-011-1793-7_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9789401047890","9789401117937"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-94-011-1793-7_12","relation":{},"ISSN":["0924-0780"],"issn-type":[{"type":"print","value":"0924-0780"}],"subject":[],"published":{"date-parts":[[1993]]}}}