{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,4]],"date-time":"2025-10-04T18:05:47Z","timestamp":1759601147815},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540151999"},{"type":"electronic","value":"9783540393078"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-15199-0_5","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:12:46Z","timestamp":1330193566000},"page":"60-79","source":"Crossref","is-referenced-by-count":15,"title":["Intuition in software development"],"prefix":"10.1007","author":[{"given":"P.","family":"Naur","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"5_CR1","volume-title":"Pluto's republic","author":"P. Medawar","year":"1982","unstructured":"Medawar, P.: Pluto's republic. Oxford University Press, Oxford 1982."},{"key":"5_CR2","volume-title":"The logic of scientific discovery","author":"K. R. Popper","year":"1959","unstructured":"Popper, K.R.: The logic of scientific discovery. Hutchinson, London, 1959."},{"key":"5_CR3","volume-title":"Word and object","author":"W. v. O. O. Quine","year":"1960","unstructured":"Quine, W.v.O.: Word and object. M.I.T. Press, Cambridge, Massachusetts, 1960."},{"key":"5_CR4","volume-title":"Adventures of ideas","author":"A. N. Whitehead","year":"1942","unstructured":"Whitehead, A.N.: Adventures of ideas. Pelican Books, Harmondsworth, Middlesex, England, 1942."},{"key":"5_CR5","volume-title":"Essentials of English grammar","author":"O. Jespersen","year":"1933","unstructured":"Jespersen, O.: Essentials of English grammar. George Allen and Unwin, London, 1933."},{"key":"5_CR6","volume-title":"Why the professor can't teach","author":"M. Kline","year":"1977","unstructured":"Kline, M.: Why the professor can't teach. St. Martin's Press, New York, 1977."},{"issue":"10","key":"5_CR7","doi-asserted-by":"crossref","first-page":"556","DOI":"10.1145\/359015.359018","volume":"23","author":"H. Ledgard","year":"1980","unstructured":"Ledgard, H., Whiteside, J.A., Singer, A., Seymour, W.: The natural language of interactive systems. Comm. ACM 23 (10), pp. 556\u2013563, 1980.","journal-title":"Comm. ACM"},{"key":"5_CR8","volume-title":"The doctor's dilemma","author":"B. Shaw","year":"1946","unstructured":"Shaw, B.: The doctor's dilemma. Penguin Books, Harmondsworth, Middlesex, England, 1946."},{"key":"5_CR9","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1007\/BF01934408","volume":"22","author":"P. Naur","year":"1982","unstructured":"Naur, P.: Formalization in program development. BIT 22 (1982), 437\u2013453.","journal-title":"BIT"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Naur, P.: Programming as theory building. Microprocessing and Microprogramming, in preparation.","DOI":"10.1016\/0165-6074(85)90032-8"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-15199-0_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:58:09Z","timestamp":1619557089000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-15199-0_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540151999","9783540393078"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-15199-0_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1985]]}}}