{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T06:40:17Z","timestamp":1774334417667,"version":"3.50.1"},"publisher-location":"Cham","reference-count":57,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319568409","type":"print"},{"value":"9783319568416","type":"electronic"}],"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":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-56841-6_1","type":"book-chapter","created":{"date-parts":[[2017,4,5]],"date-time":"2017-04-05T13:00:33Z","timestamp":1491397233000},"page":"1-15","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Alan Turing: Founder of Computer Science"],"prefix":"10.1007","author":[{"given":"Jonathan P.","family":"Bowen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,4,6]]},"reference":[{"key":"1_CR1","unstructured":"Appel, A.W. (ed.): Alan Turing\u2019s systems of logic. The Princeton thesis, Princeton University Press (2014)"},{"key":"1_CR2","unstructured":"BBC: \u2018Alan Turing law\u2019: thousands of gay men to be pardoned. BBC News, 20 October 2016. http:\/\/www.bbc.co.uk\/news\/uk-37711518"},{"key":"1_CR3","unstructured":"BBC: Thousands of gay men pardoned for past convictions. BBC News, 31 January 2017. http:\/\/www.bbc.co.uk\/news\/uk-38814338"},{"key":"1_CR4","unstructured":"Beckett, C.: The Turing Test. Elastic Press (2008\/2012)"},{"key":"1_CR5","volume-title":"Turing\u2019s Vision: The Birth of Computer Science","author":"C Bernhard","year":"2016","unstructured":"Bernhard, C.: Turing\u2019s Vision: The Birth of Computer Science. MIT Press, Cambridge (2016)"},{"key":"1_CR6","volume-title":"Formal Methods: State of the Art and New Directions","year":"2010","unstructured":"Boca, P.P., Bowen, J.P., Siddiqi, J. (eds.): Formal Methods: State of the Art and New Directions. Springer, London (2010)"},{"issue":"1\/2","key":"1_CR7","first-page":"6","volume":"31","author":"JP Bowen","year":"1995","unstructured":"Bowen, J.P.: A brief history of algebra and computing: an eclectic Oxonian view. IMA Bull. 31(1\/2), 6\u20139 (1995)","journal-title":"IMA Bull."},{"key":"1_CR8","unstructured":"Bowen, J.P.: Alan Turing. In: Robinson [43], pp. 270\u2013275"},{"key":"1_CR9","unstructured":"Bowen, J.P.: Alan Turing: the founder of computer science. Gresham College, 31 October 2013. http:\/\/www.gresham.ac.uk\/lectures-and-events\/alan-turing-the-founder-of-computer-science"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Bowen, J.P.: Alan Turing: virtuosity and visualisation. In: Bowen et al. [14], pp. 197\u2013204. http:\/\/dx.doi.org\/10.14236\/ewic\/EVA2016.40","DOI":"10.14236\/ewic\/EVA2016.40"},{"key":"1_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/978-3-319-29628-9_3","volume-title":"Engineering Trustworthy Software Systems","author":"JP Bowen","year":"2016","unstructured":"Bowen, J.P.: The Z notation: whence the cause and whither the course? In: Liu, Z., Zhang, Z. (eds.) SETSS 2014. LNCS, vol. 9506, pp. 103\u2013151. Springer, Cham (2016). doi:10.1007\/978-3-319-29628-9_3"},{"key":"1_CR12","doi-asserted-by":"publisher","first-page":"366","DOI":"10.4018\/978-1-59140-591-7.ch018","volume-title":"E-Learning and Virtual Science Centers, chap. XVIII, sect. 3, Case Studies","author":"JP Bowen","year":"2005","unstructured":"Bowen, J.P., Angus, J., Borda, A., Beler, A., Hodges, A., Filippini-Fantoni, S.: The development of science museum websites: case studies. In: Hin, L.T.W., Subramaniam, R. (eds.) E-Learning and Virtual Science Centers, chap. XVIII, sect. 3, Case Studies, pp. 366\u2013392. Idea Group Publishing, Hershey (2005)"},{"key":"1_CR13","unstructured":"Bowen, J.P., Copeland, B.J.: Turing\u2019s legacy. In: Copeland et al. [23], chap. 42"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Bowen, J.P., Diprose, G., Lambert, N. (eds.): EVA London 2016: Electronic Visualisation and the Arts. Electronic Workshops in Computing, BCS (2016). http:\/\/www.bcs.org\/ewic\/eva2016","DOI":"10.14236\/ewic\/EVA2016.0"},{"key":"1_CR15","first-page":"1","volume-title":"Computing Handbook, chap. 71","author":"JP Bowen","year":"2014","unstructured":"Bowen, J.P., Hinchey, M.G.: Formal methods. In: Gonzalez, T.F., Diaz-Herrera, J., Tucker, A.B. (eds.) Computing Handbook, chap. 71, vol. 1, 3rd edn, pp. 1\u201325. CRC Press, Boca Raton (2014)","edition":"3"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"Clements, W.: Poetry beyond the Turing test. In: Bowen et al. [14], pp. 213\u2013219. http:\/\/dx.doi.org\/10.14236\/ewic\/EVA2016.42","DOI":"10.14236\/ewic\/EVA2016.42"},{"key":"1_CR17","volume-title":"The Once and Future Turing: Computing the World","year":"2016","unstructured":"Cooper, S.B., Hodges, A. (eds.): The Once and Future Turing: Computing the World. Cambridge University Press, Cambridge (2016)"},{"key":"1_CR18","volume-title":"Alan Turing: His Work and Impact","year":"2013","unstructured":"Cooper, S.B., van Leeuwen, J. (eds.): Alan Turing: His Work and Impact. Elsevier Science, Amsterdam (2013)"},{"key":"1_CR19","volume-title":"The Essential Turing","year":"2004","unstructured":"Copeland, B.J. (ed.): The Essential Turing. Oxford University Press, Oxford (2004)"},{"key":"1_CR20","volume-title":"Alan Turing\u2019s Automatic Computing Engine: The Master Codebreaker\u2019s Struggle to Build the Modern Computer","year":"2005","unstructured":"Copeland, B.J. (ed.): Alan Turing\u2019s Automatic Computing Engine: The Master Codebreaker\u2019s Struggle to Build the Modern Computer. Oxford University Press, Oxford (2005)"},{"key":"1_CR21","volume-title":"Turing: Pioneer of the Information Age","author":"BJ Copeland","year":"2012","unstructured":"Copeland, B.J.: Turing: Pioneer of the Information Age. Oxford University Press, Oxford (2012)"},{"key":"1_CR22","unstructured":"Copeland, B.J., Bowen, J.P.: Life and work. In: Copeland et al. [23], chap. 1"},{"key":"1_CR23","doi-asserted-by":"publisher","DOI":"10.1093\/oso\/9780198747826.001.0001","volume-title":"The Turing Guide","author":"BJ Copeland","year":"2017","unstructured":"Copeland, B.J., Bowen, J.P., Sprevak, M., Wilson, R.J., et al.: The Turing Guide. Oxford University Press, Oxford (2017)"},{"key":"1_CR24","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/8009.001.0001","volume-title":"Computability: Turing, G\u00f6del, Church, and Beyond","author":"BJ Copeland","year":"2013","unstructured":"Copeland, B.J., Posy, C.J., Shagrir, O.: Computability: Turing, G\u00f6del, Church, and Beyond. MIT Press, Cambridge (2013)"},{"key":"1_CR25","doi-asserted-by":"crossref","unstructured":"Copeland, B.J., et al.: Alan Turing\u2019s Electronic Brain. Oxford University Press (2005\/2012)","DOI":"10.4000\/philosophiascientiae.753"},{"key":"1_CR26","doi-asserted-by":"publisher","DOI":"10.1093\/oso\/9780192840554.001.0001","volume-title":"Colossus: The Secrets of Bletchley Park\u2019s Codebreaking Computers","author":"BJ Copeland","year":"2006","unstructured":"Copeland, B.J., et al.: Colossus: The Secrets of Bletchley Park\u2019s Codebreaking Computers. Oxford University Press, Oxford (2006)"},{"key":"1_CR27","doi-asserted-by":"publisher","DOI":"10.1093\/oso\/9780199309412.001.0001","volume-title":"It Began with Babbage: The Genesis of Computer Science","author":"S Dasgupta","year":"2014","unstructured":"Dasgupta, S.: It Began with Babbage: The Genesis of Computer Science. Oxford University Press, Oxford (2014)"},{"issue":"1818","key":"1_CR28","first-page":"97","volume":"440","author":"D Deutsch","year":"1985","unstructured":"Deutsch, D.: Quantum theory, the Church-Turing principle and the universal quantum computer. Proc. R. Soc. 440(1818), 97\u2013117 (1985). http:\/\/dx.doi.org\/10.1098\/rspa.1985.0070","journal-title":"Proc. R. Soc."},{"key":"1_CR29","volume-title":"Key Papers: Cybernetics","year":"1968","unstructured":"Evans, C.R., Robertson, A.D.J. (eds.): Key Papers: Cybernetics. Butterworths, London (1968)"},{"key":"1_CR30","unstructured":"Google Scholar: Alan Turing. Google (2017). http:\/\/scholar.google.com\/citations?user=VWCHlwkAAAAJ"},{"key":"1_CR31","volume-title":"Enigma","author":"R Harris","year":"1995","unstructured":"Harris, R.: Enigma. Hutchinson, London (1995)"},{"key":"1_CR32","volume-title":"Code Breakers: The Inside Story of Bletchley Park","year":"1993","unstructured":"Hinsley, F.H., Stripp, A. (eds.): Code Breakers: The Inside Story of Bletchley Park. Oxford University Press, Oxford (1993)"},{"key":"1_CR33","doi-asserted-by":"crossref","unstructured":"Hodges, A.: Alan Turing: The Enigma. Simon and Schuster\/Princeton University Press (1983\/2012)","DOI":"10.1515\/9781400844975"},{"key":"1_CR34","unstructured":"IMDb: Breaking the Code. Internet Movie Database (1996). http:\/\/ww.imdb.com\/title\/tt0115749"},{"key":"1_CR35","unstructured":"IMDb: The Imitation Game. Internet Movie Database (2014). http:\/\/imdb.com\/title\/tt2084970"},{"key":"1_CR36","unstructured":"Kettle, S.: Alan Turing. Stephen Kettle (2012). http:\/\/www.stephenkettle.co.uk\/turing.html"},{"key":"1_CR37","volume-title":"Alan Turing and His Contemporaries: Building the World\u2019s First Computers","year":"2012","unstructured":"Lavington, S. (ed.): Alan Turing and His Contemporaries: Building the World\u2019s First Computers. BCS - The Chartered Institute for IT, Swindon (2012)"},{"key":"1_CR38","doi-asserted-by":"crossref","unstructured":"Lomas, A.: Species explorer: an interface for artistic exploration of multi-dimensional parameter spaces. In: Bowen et al. [14], pp. 95\u2013102. http:\/\/dx.doi.org\/10.14236\/ewic\/EVA2016.23","DOI":"10.14236\/ewic\/EVA2016.23"},{"key":"1_CR39","unstructured":"Mathematics Genealogy Project: Alonzo Church. Department of Mathematics, North Dakota State University (2017). http:\/\/genealogy.math.ndsu.nodak.edu\/id.php?id=8011"},{"key":"1_CR40","unstructured":"Microsoft Academic: A.M. Turing. Microsoft (2017). http:\/\/academic.microsoft.com\/#\/detail\/664303655"},{"issue":"2","key":"1_CR41","doi-asserted-by":"publisher","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. IEEE Ann. Hist. Comput. 6(2), 139\u2013143 (1984). http:\/\/dx.doi.org\/10.1109\/MAHC.1984.10017","journal-title":"IEEE Ann. Hist. Comput."},{"key":"1_CR42","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1098\/rsbm.1955.0019","volume":"1","author":"MHA Newman","year":"1955","unstructured":"Newman, M.H.A.: Alan Mathison Turing, 1912\u20131954. Biogr. Mem. Fellows R. Soc. 1, 253\u2013263 (1955). http:\/\/dx.doi.org\/10.1098\/rsbm.1955.0019","journal-title":"Biogr. Mem. Fellows R. Soc."},{"key":"1_CR43","volume-title":"The Scientists: An Epic of Discovery","year":"2012","unstructured":"Robinson, A. (ed.): The Scientists: An Epic of Discovery. Thames and Hudson, London (2012)"},{"key":"1_CR44","first-page":"42","volume":"3107","author":"A Robinson","year":"2017","unstructured":"Robinson, A.: All around Turing. New Sci. 3107, 42\u201343 (2017)","journal-title":"New Sci."},{"key":"1_CR45","volume-title":"Station X: The Codebreakers of Bletchley Park","author":"M Smith","year":"1998","unstructured":"Smith, M.: Station X: The Codebreakers of Bletchley Park. Channel 4 Books, London (1998)"},{"key":"1_CR46","volume-title":"Action this Day: Bletchley Park from the Breaking of the Enigma Code to the Birth of the Modern Computer","year":"2001","unstructured":"Smith, M., Erskine, R. (eds.): Action this Day: Bletchley Park from the Breaking of the Enigma Code to the Birth of the Modern Computer. Bantam Press, London (2001)"},{"key":"1_CR47","unstructured":"Time: The great minds of the century. Time 153(12), 29 March 1999. http:\/\/content.time.com\/time\/magazine\/article\/0,9171,990608,00.html"},{"key":"1_CR48","doi-asserted-by":"crossref","unstructured":"Turing, A.M.: On computable numbers with an application to the Entscheidungsproblem. Proc. Lond. Math. Soc. 2(42), 230\u2013265 (1936\/7). http:\/\/dx.doi.org\/10.1112\/plms\/s2-42.1.230","DOI":"10.1112\/plms\/s2-42.1.230"},{"key":"1_CR49","unstructured":"Turing, A.M.: Systems of logic based on ordinals: a dissertation. Ph.D. thesis, Princeton University, USA (1938)"},{"key":"1_CR50","unstructured":"Turing, A.M.: Intelligent machinery: a report. Technical report, National Physical Laboratory, UK (1948). http:\/\/www.alanturing.net\/intelligent_machinery. (also in [29])"},{"key":"1_CR51","unstructured":"Turing, A.M.: Checking a large routine. In: Campbell-Kelly, M. (ed.) The Early British Computer Conferences, pp. 70\u201372. MIT Press, Cambridge (1949\/1989)"},{"issue":"236","key":"1_CR52","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1093\/mind\/LIX.236.433","volume":"5","author":"AM Turing","year":"1950","unstructured":"Turing, A.M.: Computing machinery and intelligence. Mind 5(236), 433\u2013460 (1950). http:\/\/dx.doi.org\/10.1093\/mind\/LIX.236.433","journal-title":"Mind"},{"issue":"641","key":"1_CR53","first-page":"37","volume":"237","author":"AM Turing","year":"1952","unstructured":"Turing, A.M.: The chemical basis of morphogenesis. Philos. Trans. R. Soc. Lond. 237(641), 37\u201372 (1952). http:\/\/dx.doi.org\/10.1098\/rstb.1952.0012","journal-title":"Philos. Trans. R. Soc. Lond."},{"key":"1_CR54","volume-title":"Prof. Alan Turing Decoded","author":"D Turing","year":"2015","unstructured":"Turing, D.: Prof. Alan Turing Decoded. The History Press, Stroud (2015)"},{"key":"1_CR55","doi-asserted-by":"crossref","unstructured":"Turing, S.: Alan M. Turing. W. Heffer & Sons\/Cambridge University Press (1959\/2012)","DOI":"10.1017\/CBO9781139105736"},{"key":"1_CR56","unstructured":"Wikipedia: Category: Alan Turing. Wikipedia (2017). http:\/\/en.wikipedia.org\/wiki\/Category:Alan_Turing"},{"key":"1_CR57","volume-title":"Turing\u2019s Legacy: A History of the National Physical Laboratory 1945\u20131995","author":"DM Yates","year":"1997","unstructured":"Yates, D.M.: Turing\u2019s Legacy: A History of the National Physical Laboratory 1945\u20131995. Science Museum, London (1997)"}],"container-title":["Lecture Notes in Computer Science","Engineering Trustworthy Software Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-56841-6_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T05:23:27Z","timestamp":1759987407000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-56841-6_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319568409","9783319568416"],"references-count":57,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-56841-6_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"6 April 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SETSS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"School on Engineering Trustworthy Software Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Chongqing","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 March 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2 April 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"setss2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}