{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,22]],"date-time":"2025-10-22T10:36:58Z","timestamp":1761129418757,"version":"3.40.3"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319587400"},{"type":"electronic","value":"9783319587417"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-58741-7_4","type":"book-chapter","created":{"date-parts":[[2017,5,11]],"date-time":"2017-05-11T12:59:28Z","timestamp":1494507568000},"page":"32-41","source":"Crossref","is-referenced-by-count":3,"title":["Turing\u2019s 1949 Paper in Context"],"prefix":"10.1007","author":[{"given":"Cliff B.","family":"Jones","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,5,12]]},"reference":[{"key":"4_CR1","unstructured":"Curry, H.B.: On the composition of programs for automatic computing. Naval Ordnance Laboratory Memorandum 9806, 19-8, 52 pp. (1949)"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Floyd, R.W.: Assigning meanings to programs. In: Proceedings of Symposium in Applied Mathematics. Mathematical Aspects of Computer Science, vol. 19, pp. 19\u201332. American Mathematical Society (1967)","DOI":"10.1090\/psapm\/019\/0235771"},{"issue":"12","key":"4_CR3","doi-asserted-by":"crossref","first-page":"532","DOI":"10.1145\/366853.366856","volume":"4","author":"S Gorn","year":"1961","unstructured":"Gorn, S.: Specification languages for mechanical languages and their processors a baker\u2019s dozen: a set of examples presented to ASA x3.4 subcommittee. Commun. ACM 4(12), 532\u2013542 (1961)","journal-title":"Commun. ACM"},{"key":"4_CR4","first-page":"339","volume":"4","author":"S Gorn","year":"1968","unstructured":"Gorn, S.: The identification of the computer, information sciences: their fundamental semiotic concepts and relationships. Found. Lang. 4, 339\u2013372 (1968)","journal-title":"Found. Lang."},{"key":"4_CR5","unstructured":"Goldstine, H.H., von Neuman, J.: Planning and coding of problems for an electronic computing instrument. Technical report, Institute of Advanced Studies, Princeton (1947)"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R.: An axiomatic basis for computer programming. Commun. ACM 12(10), 576\u2013580, 583 (1969)","DOI":"10.1145\/363235.363259"},{"key":"4_CR7","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1145\/362452.362489","volume":"14","author":"CAR Hoare","year":"1971","unstructured":"Hoare, C.A.R.: Proof of a program: FIND. Commun. ACM 14, 39\u201345 (1971)","journal-title":"Commun. ACM"},{"issue":"2","key":"4_CR8","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1109\/MAHC.2003.1203057","volume":"25","author":"CB Jones","year":"2003","unstructured":"Jones, C.B.: The early search for tractable ways of reasoning about programs. IEEE Ann. Hist. Comput. 25(2), 26\u201349 (2003)","journal-title":"IEEE Ann. Hist. Comput."},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"King, J.C.: A program verifier. In: Freiman, C.V. (ed.) Proceedings of the Information Processing, IFIP 1971, pp. 234\u2013249. North-Holland (1971)","DOI":"10.1038\/234249a0"},{"issue":"2","key":"4_CR10","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1109\/MAHC.1984.10017","volume":"6","author":"FL Morris","year":"1984","unstructured":"Morris, F.L., Jones, C.B.: An early program proof by Alan Turing. Ann. Hist. Comput. 6(2), 139\u2013143 (1984)","journal-title":"Ann. Hist. Comput."},{"key":"4_CR11","volume-title":"Recursive Functions","author":"R P\u00e9ter","year":"1966","unstructured":"P\u00e9ter, R.: Recursive Functions. Academic Press, New York (1966)"},{"key":"4_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-84882-555-0","volume-title":"A Science of Operations: Machines, Logic and the Invention of Programming","author":"M Priestley","year":"2011","unstructured":"Priestley, M.: A Science of Operations: Machines, Logic and the Invention of Programming. Springer Science & Business Media, London (2011)"},{"key":"4_CR13","unstructured":"Turing, A.M.: Checking a large routine. In: Report of a Conference on High Speed Automatic Calculating Machines, pp. 67\u201369. University Mathematical Laboratory, Cambridge, June 1949"},{"key":"4_CR14","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1007\/BF01939551","volume":"6","author":"A Wijngaarden","year":"1966","unstructured":"Wijngaarden, A.: Numerical analysis as an independent science. BIT 6, 66\u201381 (1966)","journal-title":"BIT"},{"issue":"4","key":"4_CR15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1592434.1592436","volume":"41","author":"J Woodcock","year":"2009","unstructured":"Woodcock, J., Larsen, P.G., Bicarregui, J., Fitzgerald, J.: Formal methods: practice and experience. ACM Comput. Surv. 41(4), 1\u201336 (2009)","journal-title":"ACM Comput. Surv."}],"container-title":["Lecture Notes in Computer Science","Unveiling Dynamics and Complexity"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-58741-7_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,24]],"date-time":"2019-09-24T08:45:54Z","timestamp":1569314754000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-58741-7_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319587400","9783319587417"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-58741-7_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}