{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T19:42:44Z","timestamp":1757619764139,"version":"3.44.0"},"publisher-location":"Cham","reference-count":172,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030176006"},{"type":"electronic","value":"9783030176013"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-17601-3_5","type":"book-chapter","created":{"date-parts":[[2019,4,16]],"date-time":"2019-04-16T19:24:23Z","timestamp":1555442663000},"page":"202-235","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["The Impact of Alan Turing: Formal Methods and Beyond"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8748-6140","authenticated-orcid":false,"given":"Jonathan P.","family":"Bowen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,4,14]]},"reference":[{"key":"5_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162","volume-title":"The B-Book: Assigning Programs to Meanings","author":"J-R Abrial","year":"1996","unstructured":"Abrial, J.-R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)"},{"key":"5_CR2","unstructured":"ACM: ACM A.M. Turing centenary celebration. Association for Computing Machinery (2012). http:\/\/turing100.acm.org"},{"key":"5_CR3","unstructured":"ACM: ACM Turing Celebration Conference \u2013 China (ACM TURC 2018, ACM \n\n\n                  \n                \n\n). Association for Computing Machinery (2018). http:\/\/china.acm.org\/TURC\/2018\/"},{"key":"5_CR4","unstructured":"ACM: A.M. Turing Award. Association for Computing Machinery. http:\/\/amturing.acm.org"},{"key":"5_CR5","unstructured":"ACM: Chronological listing of A.M. Turing Award winners by year. Association for Computing Machinery. http:\/\/amturing.acm.org\/byyear.cfm"},{"key":"5_CR6","unstructured":"Adams, L: Gay men to receive \u2018Turing Law\u2019 pardons. BBC News, BBC Scotland, 31 August 2017. http:\/\/www.bbc.com\/news\/uk-scotland-41108768"},{"key":"5_CR7","unstructured":"Alton, J., Weiskittel, H., Latham-Jackson, J.: Catalogue of the papers and correspondence of Christopher Strachey, 1930\u20131983. Department of Special Collections, Bodleian Library, University of Oxford, UK (2016). http:\/\/www.bodley.ox.ac.uk\/dept\/scwmss\/wmss\/online\/modern\/strachey-c\/strachey-c.html"},{"key":"5_CR8","unstructured":"Augarten, S.: Bit by Bit: An Illustrated History of Computers, pp. 142\u2013148. Ticknor & Fields (1984)"},{"key":"5_CR9","unstructured":"BBC: PM apology after Turing petition, BBC News, 11 September 2009. http:\/\/news.bbc.co.uk\/1\/hi\/technology\/8249792.stm"},{"key":"5_CR10","unstructured":"BBC: Government rejects pardon request for Alan Turing. BBC News, 8 March 2012. http:\/\/www.bbc.co.uk\/news\/technology-16919012"},{"key":"5_CR11","unstructured":"BBC: Royal pardon for codebreaker Alan Turing. BBC News, 24 December 2013. http:\/\/www.bbc.co.uk\/news\/technology-25495315"},{"key":"5_CR12","unstructured":"BBC: Computer AI passes Turing test in \u2018world first\u2019. BBC News, 9 June 2014. http:\/\/www.bbc.co.uk\/news\/technology-27762088"},{"key":"5_CR13","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":"5_CR14","unstructured":"BBC: Thousands of gay men pardoned for past convictions. BBC News, 31 January 2017. http:\/\/www.bbc.co.uk\/news\/uk-38814338"},{"key":"5_CR15","unstructured":"BBC: Turing letters found in old filing cabinet. BBC News, 19 August 2017. http:\/\/www.bbc.co.uk\/news\/technology-41082391"},{"key":"5_CR16","unstructured":"BBC: ICONS. BBC Two (2019). http:\/\/www.bbc.co.uk\/programmes\/b0by86tp"},{"key":"5_CR17","unstructured":"BBC: Chris Packham on Alan Turing. ICONS, BBC Two, 6 February 2019. http:\/\/www.bbc.co.uk\/programmes\/p0704h04"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"Berma, P., Doolen, G.D., Mainieri, R., Tsifrinovich, V.I.: Turing machines. In: Introduction to Quantum Computers, chap. 2, pp. 8\u201312. World Scientific (1998)","DOI":"10.1142\/9789812384775"},{"key":"5_CR19","unstructured":"Beth, E.W.: Semantic Entailment and Formal Derivability. Noord-Hollandsche (1955)"},{"key":"5_CR20","volume-title":"Formal Methods","author":"EW Beth","year":"1962","unstructured":"Beth, E.W.: Formal Methods. Gordon & Breach, New York (1962)"},{"key":"5_CR21","unstructured":"Blyth, T. (ed.): Information Age: Six Networks that Changed the World. Scala Arts & Heritage Publishers (2014)"},{"key":"5_CR22","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-84882-736-3","volume-title":"Formal Methods: State of the Art and New Directions","author":"PP Boca","year":"2010","unstructured":"Boca, P.P., Bowen, J.P., Siddiqi, J.I.: Formal Methods: State of the Art and New Directions. Springer, London (2010). https:\/\/doi.org\/10.1007\/978-1-84882-736-3"},{"key":"5_CR23","unstructured":"Bonhams: Lot 103 - Turing (Alan). Fine Books, Atlases, Manuscripts and Photographs. Bonhams, London, 15 November 2017"},{"key":"5_CR24","volume-title":"Superintelligence: Paths, Dangers, Strategies","author":"N Bostrom","year":"2014","unstructured":"Bostrom, N.: Superintelligence: Paths, Dangers, Strategies. Oxford University Press, Oxford (2014)"},{"key":"5_CR25","unstructured":"Boughey, C.L.F., et al.: Upper School, Form V a (Group III), Name Turing, Age 16. School report. Sherborne School, UK (Michaelmas Term (1928)"},{"key":"5_CR26","unstructured":"Bowen, J.P.: Introductory and opening remarks. In: Bowen, J.P., Hall, J.A. (eds.) [34], pp. v\u2013vii (1994)"},{"key":"5_CR27","unstructured":"Bowen, J.P.: Computer science. In: Heilbron, J.L. (ed.) [85], pp. 171\u2013174 (2003)"},{"key":"5_CR28","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). https:\/\/doi.org\/10.1007\/978-3-319-29628-9_3"},{"key":"5_CR29","doi-asserted-by":"publisher","unstructured":"Bowen, J.P.: Alan Turing: virtuosity and visualisation. In: Bowen, J.P., Diprose, G., Lambert, N. (eds.) EVA London 2016: Electronic Visualisation and the Arts, pp. 197\u2013205. BCS, Electronic Workshops in Computing (eWiC) (2016). https:\/\/doi.org\/10.14236\/EVA2016.40","DOI":"10.14236\/EVA2016.40"},{"key":"5_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-56841-6_1","volume-title":"Engineering Trustworthy Software Systems","author":"JP Bowen","year":"2017","unstructured":"Bowen, J.P.: Alan Turing: founder of computer science. In: Bowen, J.P., Liu, Z., Zhang, Z. (eds.) SETSS 2016. LNCS, vol. 10215, pp. 1\u201315. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-56841-6_1"},{"key":"5_CR31","first-page":"313","volume-title":"NASA Monographs in Systems and Software Engineering","author":"Jonathan P. Bowen","year":"2017","unstructured":"Bowen, J.P.: Provably correct systems: community, connections, and citations. In: Hinchey, M.G., et al. (eds.) [91], pp. 313\u2013328 (2017)"},{"key":"5_CR32","doi-asserted-by":"crossref","unstructured":"Bowen, J.P., et al.: The development of science museum websites: case studies. In: Hin, L.T.W., Subramaniam, R. (eds.) E-learning and Virtual Science Centers, chap. XVIII, pp. 366\u2013392. Idea Group Publishing (2005)","DOI":"10.4018\/978-1-59140-591-7.ch018"},{"key":"5_CR33","doi-asserted-by":"crossref","unstructured":"Bowen, J.P., Copeland, B.J.: Turing\u2019s legacy. In: Copeland, J., et al. [58], chap. 42, pp. 463\u2013474 (2017)","DOI":"10.1093\/oso\/9780198747826.003.0055"},{"key":"5_CR34","series-title":"Workshops in Computing","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-3452-7","volume-title":"Z User Workshop, Cambridge 1994","year":"1994","unstructured":"Bowen, J.P., Hall, J.A. (eds.): Z User Workshop, Cambridge 1994. Workshops in Computing. Springer, London (1994). https:\/\/doi.org\/10.1007\/978-1-4471-3452-7"},{"issue":"4","key":"5_CR35","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1109\/MC.1996.488298","volume":"29","author":"JP Bowen","year":"1996","unstructured":"Bowen, J.P., Hinchey, M.G., Glass, R.L.: Formal methods: point-counterpoint. Computer 29(4), 18\u201319 (1996)","journal-title":"Computer"},{"key":"5_CR36","unstructured":"Bowen, J.P., Hinchey, M.G.: Formal methods. In: Gonzalez, T., et al. (eds.) [152], part VIII, Programming Languages, chap. 71, pp. 71-1\u201371-25 (2014)"},{"key":"5_CR37","doi-asserted-by":"crossref","unstructured":"Bowen, J.P., Hinchey, M.G., Janicke, H., Ward, M., Zedan, H.: Formality, agility, security, and evolution in software engineering. In: Software Technology: 10 Years of Innovation in IEEE Computer, chap. 16, pp. 282\u2013292. Wiley\/IEEE Computer Society Press (2018)","DOI":"10.1002\/9781119174240.ch16"},{"key":"5_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1007\/978-3-642-21437-0_24","volume-title":"FM 2011: Formal Methods","author":"JP Bowen","year":"2011","unstructured":"Bowen, J.P., Reeves, S.: From a community of practice to a body of knowledge: a case study of the formal methods community. In: Butler, M., Schulte, W. (eds.) FM 2011. LNCS, vol. 6664, pp. 308\u2013322. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-21437-0_24"},{"key":"5_CR39","doi-asserted-by":"publisher","unstructured":"Bowen, J.P., Trickett, T., Green, J.B.A., Lomas, A.: Turing\u2019s genius \u2013 defining an apt microcosm. In: Bowen, J.P., Weinel, J., Diprose, G., Lambert, N. (eds.) EVA London 2018: Electronic Visualisation and the Arts, pp. 155\u2013162. BCS, Electronic Workshops in Computing (eWiC) (2018). https:\/\/doi.org\/10.14236\/EVA2018.31","DOI":"10.14236\/EVA2018.31"},{"key":"5_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/978-3-319-40189-8_5","volume-title":"Pursuit of the Universal","author":"V Brattka","year":"2016","unstructured":"Brattka, V.: Computability and analysis, a historical approach. In: Beckmann, A., Bienvenu, L., Jonoska, N. (eds.) CiE 2016. LNCS, vol. 9709, pp. 45\u201357. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-40189-8_5"},{"key":"5_CR41","unstructured":"Brown, G.: I\u2019m proud to say sorry to a real war hero. The Telegraph, 10 September 2009"},{"issue":"3","key":"5_CR42","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1145\/2658985","volume":"58","author":"M Bullynck","year":"2015","unstructured":"Bullynck, M., Daylight, E.G., De Mol, L.: Why did computer science make a hero out of Turing? Commun. ACM 58(3), 37\u201339 (2015). https:\/\/doi.org\/10.1145\/2658985","journal-title":"Commun. ACM"},{"key":"5_CR43","doi-asserted-by":"publisher","first-page":"4720","DOI":"10.1109\/ACCESS.2017.2780324","volume":"6","author":"R Campagna","year":"2017","unstructured":"Campagna, R., Cuomo, S., Giannino, F., Severino, G., Toraldo, G.: A semi-automatic numerical algorithm for Turing patterns formation in a reaction-diffusion model. IEEE Access 6, 4720\u20134724 (2017). https:\/\/doi.org\/10.1109\/ACCESS.2017.2780324","journal-title":"IEEE Access"},{"issue":"4","key":"5_CR44","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1109\/MAHC.2003.1253890","volume":"25","author":"S Campbell","year":"2003","unstructured":"Campbell, S.: Beatrice Helen Worsley: Canada\u2019s female computer pioneer. IEEE Ann. Hist. Comput. 25(4), 51\u201362 (2003). https:\/\/doi.org\/10.1109\/MAHC.2003.1253890","journal-title":"IEEE Ann. Hist. Comput."},{"key":"5_CR45","volume-title":"Computer: A History of the Information Machine","author":"M Campbell-Kelly","year":"2014","unstructured":"Campbell-Kelly, M., Aspray, W., Ensmenger, N., Yost, J.R.: Computer: A History of the Information Machine, 3rd edn. Westview Press, Boulder (2014)","edition":"3"},{"key":"5_CR46","unstructured":"Carroll, L.: The Game of Logic. Macmillan & Co., London (1886). http:\/\/archive.org\/details\/gameoflogic00carrrich"},{"issue":"4","key":"5_CR47","doi-asserted-by":"publisher","first-page":"574","DOI":"10.5840\/monist191020428","volume":"20","author":"P Carus","year":"1910","unstructured":"Carus, P.: Formal thought the basis of kenlore. The Monist 20(4), 574\u2013584 (1910). https:\/\/doi.org\/10.5840\/monist191020428","journal-title":"The Monist"},{"issue":"1","key":"5_CR48","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1088\/2058-7058\/31\/1\/32","volume":"31","author":"Vint Cerf","year":"2018","unstructured":"Cerf, V.: The man behind the machine. Physics World, pp. 38\u201339 (2018). http:\/\/physicsworld.com\/a\/the-man-behind-the-machine\/","journal-title":"Physics World"},{"key":"5_CR49","unstructured":"Collins, R.: Steve Jobs review: \u2018manically entertaining\u2019. The Telegraph, 12 November 2015. http:\/\/www.telegraph.co.uk\/film\/steve-jobs\/review"},{"issue":"3","key":"5_CR50","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1145\/2093548.2093569","volume":"55","author":"SB Cooper","year":"2012","unstructured":"Cooper, S.B.: Turing\u2019s titanic machine? Commun. ACM 55(3), 74\u201383 (2012). https:\/\/doi.org\/10.1145\/2093548.2093569","journal-title":"Commun. ACM"},{"key":"5_CR51","unstructured":"Cooper, S.B.: The Alan Turing Year: A Centenary Celebration of the Life and Work of Alan Turing. School of Mathematics, University of Leeds, UK (2012). http:\/\/www.turingcentenary.eu"},{"key":"5_CR52","unstructured":"Cooper, S.B., van Leeuwen, J. (eds.): Alan Turing: His Work and Impact. Elsevier Science (2013)"},{"volume-title":"Colossus: The Secrets of Bletchley Park\u2019s Codebreaking Computers","year":"2006","key":"5_CR53","unstructured":"Copeland, B.J. (ed.): Colossus: The Secrets of Bletchley Park\u2019s Codebreaking Computers. Oxford University Press, Oxford (2006)"},{"volume-title":"The Essential Turing","year":"2004","key":"5_CR54","unstructured":"Copeland, B.J. (ed.): The Essential Turing. Oxford University Press, Oxford (2004)"},{"key":"5_CR55","unstructured":"Copeland, B.J.: Artificial intelligence. In: Copeland, B.J. (ed.) [54], pp. 353\u2013361 (2004)"},{"key":"5_CR56","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":"5_CR57","unstructured":"Copeland, B.J.: Alan Turing: The codebreaker who saved \u2018millions of lives\u2019. BBC News, 19 June 2012. http:\/\/www.bbc.co.uk\/news\/technology-18419691"},{"key":"5_CR58","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., et al.: The Turing Guide. Oxford University Press, Oxford (2017)"},{"key":"5_CR59","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":"5_CR60","unstructured":"Copeland, B.J., Proudfoot, D.: The Turing Archive for the History of Computing. http:\/\/www.alanturing.net"},{"key":"5_CR61","volume-title":"Structured Programing","author":"O-J Dahl","year":"1972","unstructured":"Dahl, O.-J., Dijkstra, E.W., Hoare, C.A.R.: Structured Programing. Academic Press, Cambridge (1972)"},{"key":"5_CR62","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)"},{"key":"5_CR63","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/978-3-319-94418-0_15","volume-title":"Sailing Routes in the World of Computation","author":"M Davis","year":"2018","unstructured":"Davis, M.: Turing\u2019s vision and deep learning. In: Manea, F., Miller, R.G., Nowotka, D. (eds.) CiE 2018. LNCS, vol. 10936, pp. 146\u2013155. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-94418-0_15"},{"key":"5_CR64","first-page":"289","volume-title":"The God Delusion","author":"R Dawkins","year":"2006","unstructured":"Dawkins, R.: The God Delusion, p. 289. Bantam Press, London (2006)"},{"issue":"3","key":"5_CR65","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1080\/01445340.2015.1082050","volume":"36","author":"EG Daylight","year":"2015","unstructured":"Daylight, E.G.: Towards a historical notion of \u2018Turing\u2013the father of computer science\u2019. Hist. Philos. Logic 36(3), 205\u2013228 (2015). https:\/\/doi.org\/10.1080\/01445340.2015.1082050","journal-title":"Hist. Philos. Logic"},{"key":"5_CR66","unstructured":"De Mol, L.: Turing machines. In: Zalta, E.N. (ed.) Stanford Encyclopedia of Philosophy. Stanford University, USA, 24 September 2018. http:\/\/plato.stanford.edu\/entries\/turing-machine"},{"key":"5_CR67","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1098\/rspa.1985.0070","volume":"400","author":"D Deutsch","year":"1985","unstructured":"Deutsch, D.: Quantum theory, the Church-Turing principle and the universal quantum computer. Proc. R. Soc. London A 400, 97\u2013117 (1985). https:\/\/doi.org\/10.1098\/rspa.1985.0070","journal-title":"Proc. R. Soc. London A"},{"key":"5_CR68","volume-title":"A Discipline of Programming","author":"EW Dijkstra","year":"1976","unstructured":"Dijkstra, E.W.: A Discipline of Programming. Prentice Hall, Upper Saddle River (1976)"},{"key":"5_CR69","doi-asserted-by":"crossref","unstructured":"Dunham, W.: Euler: The Master of Us All. Mathematical Association of America (1999)","DOI":"10.1090\/dol\/022"},{"key":"5_CR70","unstructured":"Dyson, G.: Darwin Among the Machines. The Penguin Press (1997)"},{"key":"5_CR71","unstructured":"Edwards, J.R.: An early history of computing at Princeton. Priceton Alumni Weekly, 4 April 2012. http:\/\/paw.princeton.edu\/article\/early-history-computing-princeton"},{"key":"5_CR72","unstructured":"Eperson, D.B: The Lewis Carroll Puzzle Book: Containing over 1,000 posers from Alice in Wonderland and other books by Lewis Carroll. Appeal Office (1948)"},{"key":"5_CR73","unstructured":"Evans, C.: The Mighty Micro: The Impact of the Computer Revolution. Victor Gollancz (1979)"},{"key":"5_CR74","volume-title":"The Fifth Generation: Artificial Intelligence and Japan\u2019s Computer Challenge to the World","author":"EA Feigenbaum","year":"1983","unstructured":"Feigenbaum, E.A., McCorduck, P.: The Fifth Generation: Artificial Intelligence and Japan\u2019s Computer Challenge to the World. Addison Wesley, Boston (1983)"},{"key":"5_CR75","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/978-94-011-1793-7_4","volume-title":"Program Verification","author":"Robert W. Floyd","year":"1993","unstructured":"Floyd, R.W.: Assigning meaning to programs. In: Schwartz, S.T. (ed.) Mathematical Aspects of Computer Science. American Mathematical Society (1967). https:\/\/doi.org\/10.1007\/978-94-011-1793-7_4"},{"key":"5_CR76","unstructured":"Frith, H.: Unraveling the tale behind the Apple logo. CNN, 7 October 2011. http:\/\/edition.cnn.com\/2011\/10\/06\/opinion\/apple-logo"},{"key":"5_CR77","doi-asserted-by":"publisher","unstructured":"Giannini, T., Bowen, J.P.: Life in code and digits: when Shannon met Turing. In: Bowen, J.P., Diprose, G., Lambert, N. (eds.) EVA London 2017: Electronic Visualisation and the Arts, pp. 51\u201358. BCS, Electronic Workshops in Computing (eWiC) (2017). https:\/\/doi.org\/10.14236\/EVA2017.9","DOI":"10.14236\/EVA2017.9"},{"key":"5_CR78","unstructured":"Google: Alan Turing. Google Scholar. http:\/\/scholar.google.com\/citations?user=VWCHlwkAAAAJ"},{"key":"5_CR79","doi-asserted-by":"crossref","unstructured":"Grattan-Guinness, I.: Turing\u2019s mentor, Max Newman. In: Copeland, B.J., et al. [58], chap. 40, pp. 437\u2013442 (2017)","DOI":"10.1093\/oso\/9780198747826.003.0052"},{"key":"5_CR80","unstructured":"Gray, P.: Computer scientist: Alan Turing. Time 153(12) (1999). http:\/\/content.time.com\/time\/subscriber\/article\/0,33009,990624-2,00.html"},{"key":"5_CR81","series-title":"Texts and Monographs in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-5983-1","volume-title":"The Science of Programming","author":"D Gries","year":"1981","unstructured":"Gries, D.: The Science of Programming. Texts and Monographs in Computer Science. Springer, New York (1981). https:\/\/doi.org\/10.1007\/978-1-4612-5983-1"},{"key":"5_CR82","unstructured":"Han, B.: \n\n\n                  \n                \n\n[trans.: Shackles and gifts \u2013 Know the real Turing, a mystery puzzler]. WeChat, 3 April 2018. http:\/\/mp.weixin.qq.com\/s\/JcdromoslivadmFmEf8SVQ"},{"key":"5_CR83","volume-title":"Computers Ltd.: What They Really Can\u2019t Do","author":"D Harel","year":"2000","unstructured":"Harel, D.: Computers Ltd.: What They Really Can\u2019t Do. Oxford University Press, Oxford (2000)"},{"issue":"4","key":"5_CR84","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1609\/aimag.v28i4.2063","volume":"28","author":"PJ Hayes","year":"2007","unstructured":"Hayes, P.J., Morgenstern, L.: On John McCarthy\u2019s 80th birthday, in honor of his contributions. AI Mag. 28(4), 93\u2013102 (2007). https:\/\/doi.org\/10.1609\/aimag.v28i4.2063","journal-title":"AI Mag."},{"volume-title":"The Oxford Companion to the History of Modern Science","year":"2003","key":"5_CR85","unstructured":"Heilbron, J.L. (ed.): The Oxford Companion to the History of Modern Science. Oxford University Press, Oxford (2003)"},{"key":"5_CR86","unstructured":"Hickey, S.: Alan Turing notebook sells for more than \\$1m at New York auction. The Guardian, 13 April 2015"},{"key":"5_CR87","unstructured":"Highfield, R.: Codebreaker wins Great Exhibition Award. Science Museum, London, 17 December 2012. http:\/\/blog.sciencemuseum.org.uk\/codebreaker-wins-great-exhibition-award"},{"key":"5_CR88","unstructured":"Highfield, R.: What to think about machines that think. Science Museum, London, 11 December 2015. http:\/\/blog.sciencemuseum.org.uk\/what-to-think-about-machines-that-think"},{"issue":"4","key":"5_CR89","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1609\/aimag.v28i4.2064","volume":"28","author":"D Hillis","year":"2007","unstructured":"Hillis, D., et al.: In honor of Marvin Minsky\u2019s contributions on his 80th birthday. AI Mag. 28(4), 103\u2013110 (2007). https:\/\/doi.org\/10.1609\/aimag.v28i4.2064","journal-title":"AI Mag."},{"key":"5_CR90","doi-asserted-by":"crossref","unstructured":"Hilton, P.: Meeting a genius. In: Copeland, J., et al. [58], chap. 3, pp. 31\u201334 (2017)","DOI":"10.1093\/oso\/9780198747826.003.0009"},{"key":"5_CR91","series-title":"NASA Monographs in Systems and Software Engineering","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-48628-4","volume-title":"Provably Correct Systems","year":"2017","unstructured":"Hinchey, M.G., Bowen, J.P., Olderog, E.-R. (eds.): Provably Correct Systems. NASA Monographs in Systems and Software Engineering. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-48628-4"},{"key":"5_CR92","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-2297-5","volume-title":"Conquering Complexity","year":"2012","unstructured":"Hinchey, M.G., Coyle, L. (eds.): Conquering Complexity. Springer, London (2012). https:\/\/doi.org\/10.1007\/978-1-4471-2297-5"},{"issue":"10","key":"5_CR93","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"CAR Hoare","year":"1969","unstructured":"Hoare, C.A.R.: An axiomatic basis for computer programming. Commun. ACM 12(10), 576\u2013580 (1969). https:\/\/doi.org\/10.1145\/363235.363259","journal-title":"Commun. ACM"},{"issue":"8","key":"5_CR94","doi-asserted-by":"publisher","first-page":"672","DOI":"10.1145\/27651.27653","volume":"30","author":"CAR Hoare","year":"1987","unstructured":"Hoare, C.A.R., et al.: Laws of programming. Commun. ACM 30(8), 672\u2013686 (1987). https:\/\/doi.org\/10.1145\/27651.27653","journal-title":"Commun. ACM"},{"key":"5_CR95","unstructured":"Hoare, C.A.R., He, J.: Unifying Theories of Programming. Prentice Hall International Series in Computer Science (1998)"},{"key":"#cr-split#-5_CR96.1","unstructured":"Hodges, A.: Alan Turing: The Enigma. Burnett\/Simon and Schuster (1983)"},{"key":"#cr-split#-5_CR96.2","unstructured":"Centenary edition, Princeton University Press (2012)"},{"key":"5_CR97","unstructured":"Hodges, A.: Oration at Alan Turing\u2019s birthplace. Alan Turing: The Enigma, 23 June 1998. http:\/\/www.turing.org.uk\/publications\/oration.html"},{"key":"5_CR98","unstructured":"Hodges, A.: Alan Turing: The Enigma. http:\/\/www.turing.org.uk"},{"key":"5_CR99","unstructured":"IMDb: The Imitation Game. IMDb (2014). http:\/\/www.imdb.com\/title\/tt2084970"},{"key":"5_CR100","unstructured":"Isaacson, W.: Steve Jobs, p. xvi. Simon & Schuster\/Little, Brown (2011)"},{"issue":"2","key":"5_CR101","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1109\/MAHC.2004.1299654","volume":"26","author":"A Jones","year":"2004","unstructured":"Jones, A.: Five 1951 BBC broadcasts on automatic calculating machines. IEEE Ann. Hist. Comput. 26(2), 3\u201315 (2004). https:\/\/doi.org\/10.1109\/MAHC.2004.1299654","journal-title":"IEEE Ann. Hist. Comput."},{"issue":"1","key":"5_CR102","doi-asserted-by":"publisher","first-page":"81","DOI":"10.7560\/IC51104","volume":"51","author":"A Jones","year":"2016","unstructured":"Jones, A.: Brains, tortoises, and octopuses: postwar interpretations of mechanical intelligence on the BBC. Inf. & Cult. 51(1), 81\u2013101 (2016). https:\/\/doi.org\/10.7560\/IC51104","journal-title":"Inf. & Cult."},{"key":"5_CR103","unstructured":"Jones, C.B: Systematic Software Development Using VDM. Prentice Hall International Series in Computer Science (1986)"},{"key":"5_CR104","doi-asserted-by":"crossref","unstructured":"Jones, C.B.: Turing\u2019s \u201cchecking a large routine\u201d. In: Cooper, S.B., van Leeuwen, J. (eds.) Alan Turing - His Work and Impact, pp. 455\u2013461. Elsevier (2013)","DOI":"10.1016\/B978-0-12-386980-7.50019-8"},{"key":"5_CR105","unstructured":"Jones, C.B.: Turing and Software Verification. Technical report CS-TR-1441, Newcastle University, December 2014. http:\/\/homepages.cs.ncl.ac.uk\/cliff.jones\/publications\/NU-TRs\/CS-TR-1441.pdf"},{"key":"5_CR106","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/978-3-319-58741-7_4","volume-title":"Unveiling Dynamics and Complexity","author":"CB Jones","year":"2017","unstructured":"Jones, C.B.: Turing\u2019s 1949 paper in context. In: Kari, J., Manea, F., Petre, I. (eds.) CiE 2017. LNCS, vol. 10307, pp. 32\u201341. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-58741-7_4"},{"key":"5_CR107","doi-asserted-by":"publisher","first-page":"1121","DOI":"10.1007\/s00165-017-0446-y","volume":"29","author":"CB Jones","year":"2017","unstructured":"Jones, C.B.: The Turing guide. Formal Aspects Comput. 29, 1121\u20131122 (2017). https:\/\/doi.org\/10.1007\/s00165-017-0446-y","journal-title":"Formal Aspects Comput."},{"key":"5_CR108","unstructured":"Kettle, S.: Alan Turing. http:\/\/www.stephenkettle.co.uk\/turing.html"},{"key":"5_CR109","unstructured":"King\u2019s College: The Turing Digital Archive. King\u2019s College, Cambridge, UK. http:\/\/www.turingarchive.org"},{"key":"5_CR110","unstructured":"Lavington, S.: The ACE, the \u2018British National Computer\u2019. Early British Computers, chap. 5, pp. 23\u201330. Manchester University Press (1980)"},{"volume-title":"Alan Turing and his Contemporaries: Building the World\u2019s First Computers","year":"2012","key":"5_CR111","unstructured":"Lavington, S. (ed.): Alan Turing and his Contemporaries: Building the World\u2019s First Computers. BCS, The Chartered Institute for IT (2012)"},{"key":"5_CR112","unstructured":"Lavington, S: Hindsight and foresight: the legacy of Turing and his contemporaries. In: Lavington, S., (ed.) [111], chap. 8, pp. 79\u201384 (2012)"},{"key":"5_CR113","unstructured":"Lewin, R.: Ultra Goes to War, p. 64. Grafton (1978)"},{"key":"5_CR114","unstructured":"Manchester University: Lost Turing letters give unique insight into his academic life prior to death. Discover\/News. The University of Manchester, UK, 25 August 2017. http:\/\/www.manchester.ac.uk\/discover\/news\/"},{"key":"5_CR115","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1016\/S0049-237X(08)72018-4","volume-title":"Computer Programming and Formal Systems","author":"John McCarthy","year":"1963","unstructured":"McCarthy, J.: A basis for a mathematical theory of computation. In: Braffort P., Hirschberg, D. (eds.) Computer Programming and Formal Systems, pp. 33\u201370. North-Holland (1963). https:\/\/doi.org\/10.1016\/S0049-237X(08)72018-4"},{"key":"5_CR116","unstructured":"McKay S.: The Secret Life of Bletchley Park. Aurum (2011)"},{"key":"5_CR117","unstructured":"McKay, S.: How Alan Turing\u2019s secret papers were saved for the nation. The Telegraph, 30 July 2011"},{"key":"5_CR118","unstructured":"MGP: Alan Mathison Turing. Mathematics Genealogy Project. Department of Mathematics, North Dakota State University, USA. http:\/\/www.genealogy.ams.org\/id.php?id=8014"},{"key":"5_CR119","doi-asserted-by":"crossref","unstructured":"Millican, P.J.A., Clark, A. (eds.): The Legacy of Alan Turing. Oxford University Press. Volume I: Machines and Thought; Volume II: Connectionism, Concepts and Folk Psychology (1996)","DOI":"10.1093\/oso\/9780198235934.001.0001"},{"key":"5_CR120","unstructured":"Ministry of Justice, Gyimah, S.: Thousands officially pardoned under \u2018Turing\u2019s Law\u2019. UK Government, 31 January 2017. http:\/\/www.gov.uk\/government\/news\/thousands-officially-pardoned-under-turings-law"},{"key":"5_CR121","unstructured":"Morgan, C.C.: Programming from Specifications. Prentice Hall International Series in Computer Science (1990). 2nd edition (1994)"},{"issue":"2","key":"5_CR122","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). https:\/\/doi.org\/10.1109\/MAHC.1984.10017","journal-title":"IEEE Ann. Hist. Comput."},{"key":"5_CR123","doi-asserted-by":"crossref","unstructured":"Nature: Alan Turing at 100. Nature 482, 450\u2013465 (2012). http:\/\/www.nature.com\/news\/specials\/turing","DOI":"10.1038\/482440a"},{"key":"5_CR124","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1007\/BF01","volume":"6","author":"P Naur","year":"1966","unstructured":"Naur, P.: Proof of algorithms by general snapshots. BIT 6, 310\u2013316 (1966). https:\/\/doi.org\/10.1007\/BF01","journal-title":"BIT"},{"key":"5_CR125","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). https:\/\/doi.org\/10.1098\/rsbm.1955.0019","journal-title":"Biogr. Mem. Fellows R. Soc."},{"key":"5_CR126","doi-asserted-by":"crossref","unstructured":"Newman, W.: Max Newman-Mathematician, codebreaker, and computer pioneer. In: Copeland, B.J. (ed.) [53], chap. 14, pp. 176\u2013188 (2006)","DOI":"10.1093\/oso\/9780192840554.003.0023"},{"key":"5_CR127","unstructured":"O\u2019Connor, J.J., Robertson, E.F.: Donald Birkby Eperson. MacTutor. School of Mathematics and Statistics, University of St Andrews, Scotland, May 2017. http:\/\/www-history.mcs.st-and.ac.uk\/Biographies\/Eperson.html"},{"key":"5_CR128","unstructured":"Page, C., Richards, M.: A letter from Christopher Strachey. Resurrection: J. Comput. Conserv. Soc. 73, 22\u201324 (2016). http:\/\/www.computerconservationsociety.org\/resurrection\/res73.htm#d"},{"key":"5_CR129","unstructured":"Palfreman, J., Swade, D.: The Dream Machine: Exploring the Computer Age. BBC Books (1991)"},{"key":"5_CR130","doi-asserted-by":"publisher","DOI":"10.1093\/oso\/9780198519737.001.0001","volume-title":"The Emperor\u2019s New Mind: Concerning Computer, Minds, and the Laws of Physics","author":"R Penrose","year":"1989","unstructured":"Penrose, R.: The Emperor\u2019s New Mind: Concerning Computer, Minds, and the Laws of Physics. Oxford University Press, Oxford (1989)"},{"key":"5_CR131","volume-title":"Shadows of the Mind: A Search for the Missing Science of Consciousness","author":"R Penrose","year":"1994","unstructured":"Penrose, R.: Shadows of the Mind: A Search for the Missing Science of Consciousness. Oxford University Press, Oxford (1994)"},{"key":"5_CR132","doi-asserted-by":"publisher","unstructured":"Petrocelli, C.: The Turing Guide, by Jack Copeland, Jonathan Bowen, Mark Sprevak, and Robin Wilson. Nuncius 33(1), 166\u2013168 (2018). https:\/\/doi.org\/10.1163\/18253911-03301015","DOI":"10.1163\/18253911-03301015"},{"key":"5_CR133","unstructured":"Princeton: Alan M. Turing. Office of the Executive Vice President, Princeton University, USA (2018). http:\/\/evp.princeton.edu\/people\/alan-m-turing"},{"key":"5_CR134","unstructured":"Randell, B.: On Alan Turing and the origins of digital computers. In: Meltzer, B., Michie, D. (eds.) Machine Intelligence, vol. 7, pp. 3\u201320. Edinburgh University Press (1972). http:\/\/www.cs.ncl.ac.uk\/research\/pubs\/books\/papers\/126.pdf"},{"key":"5_CR135","unstructured":"Rendell, P.: Game of Life - Universal Turing Machine, YouTube (2010, uploaded 2012). http:\/\/www.youtube.com\/watch?v=My8AsV7bA94"},{"key":"5_CR136","volume-title":"Sudden Genius: The Gradual Path to Creative Breakthroughs","author":"A Robinson","year":"2010","unstructured":"Robinson, A.: Sudden Genius: The Gradual Path to Creative Breakthroughs. Oxford University Press, Oxford (2010)"},{"key":"5_CR137","unstructured":"Robinson, A. (ed.): The Scientists: An Epic of Discovery. Thames & Hudson (2012)"},{"issue":"10008","key":"5_CR138","doi-asserted-by":"publisher","first-page":"2048","DOI":"10.1016\/S0140-6736(15)00962-9","volume":"386","author":"Andrew Robinson","year":"2015","unstructured":"Robinson, A.: Film: reality and check. The Lancet 386, 2048 (2015)","journal-title":"The Lancet"},{"key":"5_CR139","doi-asserted-by":"crossref","unstructured":"Robinson, A.: The Turing Guide: last words on an enigmatic codebreaker? New Sci. 3107, 42\u201343 (2017). http:\/\/www.newscientist.com\/article\/mg23331072-700","DOI":"10.1016\/S0262-4079(17)30039-8"},{"key":"5_CR140","unstructured":"Rooney, D.: Codebreaker - Alan Turing\u2019s life and legacy. Science Museum, London. YouTube, 19 June 2012. http:\/\/www.youtube.com\/watch?v=I3NkVMHh0_Q"},{"key":"5_CR141","unstructured":"Rooney, D.: Mathematics: How it Shaped our World. Scala Arts & Heritage Publishers (2016)"},{"key":"5_CR142","unstructured":"Russell, B.: What is logic. In: The Collected Papers of Bertrand Russell, vol. 6: Logical and Philosophical Papers, 1909\u201313. Part I: Logic and the Philosophy of Mathematics. Routledge (1912)"},{"key":"5_CR143","volume-title":"The Silicon Idol: The Micro Revolution and its Social Implications","author":"M Shallis","year":"1984","unstructured":"Shallis, M.: The Silicon Idol: The Micro Revolution and its Social Implications. Oxford University Press, Oxford (1984)"},{"key":"5_CR144","volume-title":"The Code Book: The Science of Secrecy from Ancient Egypt to Quantum Cryptography","author":"S Singh","year":"1999","unstructured":"Singh, S.: The Code Book: The Science of Secrecy from Ancient Egypt to Quantum Cryptography. Forth Estate, London (1999)"},{"key":"5_CR145","unstructured":"Smith, C.N., et al.: Form IV b (i), Name Turing, Average Age 14.6, Age 14.8. School report. Sherborne School, UK (1927)"},{"key":"5_CR146","series-title":"Theory and Applications of Computability","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/978-3-642-31933-4_17","volume-title":"Turing Computability","author":"RI Soare","year":"2016","unstructured":"Soare, R.I.: History of computability. In: Soare, R.I. (ed.) Turing Computability. TAC, pp. 227\u2013249. Springer, Heidelberg (2016). https:\/\/doi.org\/10.1007\/978-3-642-31933-4_17"},{"volume-title":"Donald Michie: On Machine Intelligence","year":"2009","key":"5_CR147","unstructured":"Srinivasan, A. (ed.): Donald Michie: On Machine Intelligence. Biology & More. Oxford University Press, Oxford (2009)"},{"key":"5_CR148","volume-title":"Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory","author":"JE Stoy","year":"1977","unstructured":"Stoy, J.E.: Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press, Cambridge (1977)"},{"issue":"3","key":"5_CR149","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1098\/rsnr.2012.0036","volume":"66","author":"J. Sumner","year":"2012","unstructured":"Sumner, J.: Turing today. Notes Rec. R. Soc. Lond. 66(3), 295\u2013300 (2012). http:\/\/www.jstor.org\/stable\/41723310","journal-title":"Notes and Records of the Royal Society"},{"key":"5_CR150","unstructured":"Swinford, S.: Alan Turing granted Royal pardon by the Queen. The Telegraph, 24 September 2013"},{"key":"5_CR151","unstructured":"Time: The great minds of the century. Time 153(12) (1999). http:\/\/content.time.com\/time\/magazine\/article\/0,9171,990608,00.html"},{"key":"5_CR152","doi-asserted-by":"crossref","unstructured":"Gonzalez, T., Diaz-Herrera, J., Tucker, A.B. (eds.): Computing Handbook, 3rd edn. Volume I: Computer Science and Software Engineering. Chapman and Hall\/CRC Press (2014)","DOI":"10.1201\/b16812"},{"key":"5_CR153","unstructured":"Turing, A.M.: Pr\u00e9cis of the Theory of Relativity by Albert Einstein. In: The Turing Digital Archive [109], AMT\/K\/2 (1927). http:\/\/www.turingarchive.org\/viewer\/?id=449&title=1"},{"issue":"1","key":"5_CR154","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1112\/plms\/s2-42.1.230","volume":"s2-42","author":"A. M. Turing","year":"1937","unstructured":"Turing, A.M.: On computable numbers with an application to the Entscheidungsproblem. Proc. Lond. Math. Soc. (Ser. 2) 42(1), 230\u2013265 (1936). https:\/\/doi.org\/10.1112\/plms\/s2-42.1.230","journal-title":"Proceedings of the London Mathematical Society"},{"key":"5_CR155","unstructured":"Turing, A.M.: The purpose of ordinal logics. Ph.D. thesis, Princeton University, USA (1938)"},{"key":"5_CR156","unstructured":"Turing, A.M.: Checking a large routine. In: Report of a Conference on High Speed Automatic Calculating Machines, pp. 67\u201369. Mathematical Laboratory, University of Cambridge, UK (1949). http:\/\/www.turingarchive.org\/browse.php\/b\/8"},{"issue":"236","key":"5_CR157","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1093\/mind\/LIX.236.433","volume":"59","author":"AM Turing","year":"1950","unstructured":"Turing, A.M.: Computing machinery and intelligence. Mind 59(236), 433\u2013460 (1950). https:\/\/doi.org\/10.1093\/mind\/LIX.236.433","journal-title":"Mind"},{"key":"5_CR158","unstructured":"Turing, A.M.: Can digital computers think? In: The Turing Digital Archive [109], AMT\/B\/5, May 1951. http:\/\/www.turingarchive.org\/viewer\/?id=449&title=1 (see also 2018 transcription under http:\/\/aperiodical.com\/wp-content\/uploads\/2018\/01\/Turing-Can-Computers-Think.pdf)"},{"issue":"641","key":"5_CR159","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1098\/rstb.1952.0012","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). https:\/\/doi.org\/10.1098\/rstb.1952.0012","journal-title":"Philos. Trans. R. Soc. Lond."},{"key":"5_CR160","doi-asserted-by":"crossref","unstructured":"Turing, A.M., Braithwaite, R.B., Jefferson, G., Newman, M.: Can automatic calculating machines be said to think? (1952). In: Copeland, B.J. (ed.) [54], chap. 14, pp. 487\u2013506 (2004)","DOI":"10.1093\/oso\/9780198250791.003.0020"},{"key":"5_CR161","unstructured":"Turing, D.: Prof Alan Turing Decoded: A Biography. The History Press (2015)"},{"key":"5_CR162","doi-asserted-by":"crossref","unstructured":"Turing, S.: Alan M. Turing: Centenary Edition. Cambridge University Press, Cambridge (2012)","DOI":"10.1017\/CBO9781139105736"},{"key":"5_CR163","unstructured":"Uhlig, R.: Genius of Britain: The Scientists who Changed the World. HarperCollins (2010)"},{"key":"5_CR164","unstructured":"van Doren, C.: A History of Knowledge: Past, Present, and Future. Ballantine Books (1991)"},{"issue":"11","key":"5_CR165","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1145\/3144590","volume":"60","author":"MY Vardi","year":"2017","unstructured":"Vardi, M.Y.: Would turing have won the turing award? Commun. ACM 60(11), 7 (2017). https:\/\/doi.org\/10.1145\/3144590","journal-title":"Commun. ACM"},{"key":"5_CR166","unstructured":"Veblen, O.: Letter to M. H. A. Newman, esq. Janus Catalogue Item 2-1-13. The Max Newman Digital Archive, University of Brighton, UK, 4 May 1928. http:\/\/www.cdpa.co.uk\/Newman\/MHAN"},{"key":"5_CR167","unstructured":"Wikipedia: List of things named after Alan Turing. Wikipedia, Wikimedia Foundation. http:\/\/en.wikipedia.org\/wiki\/List_of_things_named_after_Alan_Turing"},{"key":"5_CR168","unstructured":"Wilkes, M.V.: Automatic calculating machines. J. R. Soc. Arts 100(4862), 56\u201390 (1951). http:\/\/www.jstor.org\/stable\/41365298"},{"key":"5_CR169","unstructured":"Wolfram, S.: A New Kind of Science. Wolfram Media (2002)"},{"key":"5_CR170","unstructured":"Worsley, B.H.: Serial programming for real and idealised digital calculating machines. Ph.D. thesis, University of Cambridge, UK, May 1952. Also. In: Archives Center, National Museum of American History, Smithsonian Institution, USA. http:\/\/sova.si.edu\/details\/NMAH.AC.0237#ref29"},{"key":"5_CR171","volume-title":"Turing\u2019s Legacy: A history of computing at the National Physical Laboratory 1945\u20131995","author":"DM Yates","year":"1997","unstructured":"Yates, D.M.: Turing\u2019s Legacy: A history of computing at 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-030-17601-3_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,8]],"date-time":"2025-09-08T01:22:11Z","timestamp":1757294531000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-17601-3_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030176006","9783030176013"],"references-count":172,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-17601-3_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"14 April 2019","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":"International Summer 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":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 April 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 April 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"setss2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.swu-rise.net.cn\/SETSS2018\/SETSS2018.html","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Open","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Easychair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"5","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"5","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"100% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"1-2","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"1-2","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}