{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T06:00:48Z","timestamp":1774332048024,"version":"3.50.1"},"publisher-location":"Cham","reference-count":43,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319486277","type":"print"},{"value":"9783319486284","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-48628-4_13","type":"book-chapter","created":{"date-parts":[[2017,3,1]],"date-time":"2017-03-01T07:45:31Z","timestamp":1488354331000},"page":"313-328","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Provably Correct Systems: Community, Connections, and Citations"],"prefix":"10.1007","author":[{"given":"Jonathan P.","family":"Bowen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,3,2]]},"reference":[{"key":"13_CR1","unstructured":"Berners-Lee, T.: Weaving the Web: The Original Design and Ultimate Destiny of the World Wide Web. HarperCollins, New York (2000)"},{"key":"13_CR2","first-page":"60","volume":"39","author":"D Bj\u00f8rner","year":"1989","unstructured":"Bj\u00f8rner, D., Hoare, C.A.R., Bowen, J.P., He, J., Langmaack, H., Olderog, E.R., Martin, U.H., Stavridou, V., Nielson, F., Nielson, H.R., Barringer, H., Edwards, D., L\u00f8vengreen, H.H., Ravn, A.P., Rischel, H.S.: A ProCoS project description. Bull. Eur. Assoc. Theor. Comput. Sci. (EATCS) 39, 60\u201373 (1989). Oct","journal-title":"Bull. Eur. Assoc. Theor. Comput. Sci. (EATCS)"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"Boca, P.P., Bowen, J.P., Siddiqi, J. (eds.): Formal Methods: State of the Art and New Directions. Springer, Heidelberg (2010)","DOI":"10.1007\/978-1-84882-736-3"},{"key":"13_CR4","unstructured":"Bowen, J.P. (ed.): Towards Verified Systems, Real-Time Safety Critical Systems, vol.\u00a02. Elsevier, Amsterdam (1994)"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Bowen, J.P.: Z: A formal specification notation. In: Frappier, M., Habrias, H. (eds.) Software Specification Methods: An Overview Using a Case Study, chap.\u00a01, pp. 3\u201319. FACIT series, Springer, Heidelberg (2001)","DOI":"10.1007\/978-1-4471-0701-9_1"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Bowen, J.P.: A relational approach to an algebraic community: From Paul Erd\u0151s to He Jifeng. In: Liu, Z., Woodcock, J.C.P., Zhu, H. (eds.) Theories of Programming and Formal Methods. Lecture Notes in Computer Science, vol. 8051, pp. 54\u201366. Springer, Heidelberg (2013)","DOI":"10.1007\/978-3-642-39698-4_4"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"Bowen, J.P.: The Z notation: whence the cause and whither the course? In Liu, Z., Zhang, Z. (eds.) Engineering Trustworthy Software Systems: First International School, SETSS 2014, Chongqing, China, September 8\u201313, 2014. Lecture Notes in Computer Science, vol. 9506, pp. 104\u2013151. Springer, Heidelberg (2016)","DOI":"10.1007\/978-3-319-29628-9_3"},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"Bowen, J.P.: Alan Turing: virtuosity and visualisation. In Bowen, J.P., Diprose, G., Lambert, N. (eds.) EVA London 2016 Conference Proceedings. Electronic Workshops in Computing (eWiC), pp. 197\u2013204. BCS (2016)","DOI":"10.14236\/ewic\/EVA2016.40"},{"key":"13_CR9","unstructured":"Bowen, J.P.: ProCoS \u2013 Provably Correct Systems. Formal Methods Wiki, Wikia. \n                    http:\/\/formalmethods.wikia.com\/wiki\/ProCoS\n                    \n                  . (Accessed June 2016)"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Bowen, J.P., Fr\u00e4nzle, M., Olderog, E.R., Ravn, A.P.: Developing correct systems. In: Proceedings of the 5th Euromicro Workshop on Real-Time Systems, Oulu, Finland. pp. 176\u2013189. IEEE Computer Society Press, Washington (1993)","DOI":"10.1109\/EMWRT.1993.639088"},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"Bowen, J.P., Giannini, T.: Galois connections: mathematics, art, and archives. In: Ng, K., Bowen, J.P., Lambert, N. (eds.) EVA London 2015 Conference Proceedings, pp. 176\u2013183. Electronic Workshops in Computing (eWiC), BCS (2015)","DOI":"10.14236\/ewic\/eva2015.18"},{"key":"13_CR12","unstructured":"Bowen, J.P., Hinchey, M.G.: Formal methods. In: Gonzalez, T.F., Diaz-Herrera, J., Tucker, A.B. (eds.) Computing Handbook, vol.\u00a01, 3rd edn., Chap.\u00a071, pp. 1\u201325. CRC Press, Florida (2014)"},{"key":"13_CR13","doi-asserted-by":"crossref","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: 17th International Symposium on Formal Methods. Lecture Notes in Computer Science, vol. 6664, pp. 308\u2013322. Springer, Heidelberg (2011)","DOI":"10.1007\/978-3-642-21437-0_24"},{"key":"13_CR14","unstructured":"Bowen, J.P., Wilson, R.J.: Visualising virtual communities: From Erd\u0151s to the arts. In: Dunn, S., Bowen, J.P., Ng, K. (eds.) EVA London 2012 Conference Proceedings. pp. 238\u2013244. Electronic Workshops in Computing (eWiC), BCS (2012). \n                    arXiv:1207.3420v1"},{"key":"13_CR15","unstructured":"Bowen, J.P., et al.: A ProCoS II project description: ESPRIT Basic Research project 7071. Bull. Eur. Assoc. Theor. Comput. Sci. (EATCS) 50, 128\u2013137 (1993)"},{"key":"13_CR16","unstructured":"Bowen, J.P., et al.: A ProCoS-WG Working Group description: ESPRIT Basic Research 8694. Bull. Eur. Assoc. Theor. Comput. Sci. (EATCS) 53, 136\u2013145 (1994). Jun"},{"key":"13_CR17","unstructured":"Breuer, P.T., Bowen, J.P.: Empirical patterns in Google Scholar citation counts. In: Proceedings of the IEEE 8th International Symposium on Service Oriented System Engineering (SOSE), Cyberpatterns 2014: Third International Workshop on Cyberpatterns. pp. 398\u2013403. IEEE Computer Society Press, Washington (2014). \n                    arXiv:1401.1861\n                    \n                   [cs.DL]"},{"key":"13_CR18","unstructured":"Brezina, V.: Use of Google Scholar in corpus-driven EAP research. J. Engl. Acad. Purp. 11(4), 319\u2013331 (2012). Dec"},{"issue":"1","key":"13_CR19","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/s11192-006-0144-7","volume":"69","author":"L Egghe","year":"2006","unstructured":"Egghe, L.: Theory and practise of the g-index. Scientometrics 69(1), 131\u2013152 (2006)","journal-title":"Scientometrics"},{"key":"13_CR20","unstructured":"Harr\u00e9, R.: The Philosophies of Science: An Introductory Survey. Oxford University Press, Oxford (1972)"},{"key":"13_CR21","unstructured":"He, J.: Provably Correct Systems: Modelling of Communication Languages and Design of Optimized Compilers. International Series in Software Engineering. McGraw-Hill, New York (1995)"},{"issue":"6","key":"13_CR22","doi-asserted-by":"publisher","first-page":"643","DOI":"10.1007\/BF03259390","volume":"6","author":"J He","year":"1994","unstructured":"He, J., Bowen, J.P.: Specification, verification and prototyping of an optimized compiler. Form. Asp. Comput. 6(6), 643\u2013658 (1994)","journal-title":"Form. Asp. Comput."},{"key":"13_CR23","doi-asserted-by":"crossref","unstructured":"He, J., Hoare, C.A.R., Fr\u00e4nzle, M., M\u00fcller-Olm, M., Olderog, E.R., Schenke, M., Hansen, M.R., Ravn, A.P., Rischel, H.: Provably correct systems. In: Langmaack, H., de Roever, W.P., Vytopil, J. (eds.) Formal Techniques in Real-Time and Fault-Tolerant Systems. Lecture Notes in Computer Science, vol. 863, pp. 288\u2013335. Springer, Heidelberg (1994)","DOI":"10.1007\/3-540-58468-4_171"},{"key":"13_CR24","unstructured":"Henson, M.C., Reeves, S., Bowen, J.P.: Z logic and its consequences. CAI Comput. Inf. 22(4), 381\u2013415 (2003)"},{"key":"13_CR25","doi-asserted-by":"crossref","unstructured":"Hirsch, J.E.: An index to quantify an individual\u2019s scientific research output. In: Proceedings of the National Academy of Sciences 102(46), 16569\u201316572 (2005). \n                    arXiv:physics\/0508025","DOI":"10.1073\/pnas.0507655102"},{"key":"13_CR26","unstructured":"Hoare, C.A.R., He, J.: Unifying Theories of Programming. International Series in Computer Science. Prentice Hall, New Jersey (1998)"},{"key":"13_CR27","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R., He, J., Bowen, J.P., Pandya, P.K.: An algebraic approach to verifiable compiling specification and prototyping of the ProCoS level 0 programming language. In: ESPRIT\u201990 Conference Proceedings, Brussels. pp. 804\u2013818. CEC DG XIII (1990)","DOI":"10.1007\/978-94-009-0705-8_65"},{"issue":"5","key":"13_CR28","doi-asserted-by":"publisher","first-page":"1051","DOI":"10.1002\/asi.21040","volume":"60","author":"D Katsaros","year":"2009","unstructured":"Katsaros, D., Akritidis, L., Bozanis, P.: The f index: quantifying the impact of coterminal citations on scientists\u2019 ranking. J. Assoc. Inf. Sci. Technol. 60(5), 1051\u20131056 (2009). May","journal-title":"J. Assoc. Inf. Sci. Technol."},{"key":"13_CR29","doi-asserted-by":"crossref","unstructured":"Langmaack, H., Ravn, A.P.: The ProCoS project: provably correct systems. In: Bowen [4], pp. 249\u2013265, appendix B","DOI":"10.1016\/B978-0-444-89901-9.50022-7"},{"key":"13_CR30","unstructured":"Lanville, A.N., Meyer, C.D.: Google\u2019s PageRank and Beyond: The Science of Search Engine Rankings. Princeton University Press, Princeton"},{"issue":"4","key":"13_CR31","first-page":"409","volume":"5","author":"JS Moore","year":"1989","unstructured":"Moore, J.S., et al.: Special issue on system verification. J. Autom. Reas. 5(4), 409\u2013530 (1989). Dec","journal-title":"J. Autom. Reas."},{"key":"13_CR32","doi-asserted-by":"crossref","unstructured":"Olderog, E.R.: Nets, Terms and Formulas: Three Views of Concurrent Processes and Their Relationship. Cambridge University Press, Cambridge (1991)","DOI":"10.1017\/CBO9780511526589"},{"key":"13_CR33","unstructured":"Olderog, E.R.: Interfaces between languages for communicating systems. In: Kuich, W. (ed.) Automata, Languages and Programming. Lecture Notes in Computer Science, vol. 623, pp. 641\u2013655. Springer, Heidelberg (1992). (invited paper)"},{"key":"13_CR34","unstructured":"Olderog, E.R. (ed.): Programming Concepts, Methods and Calculi, IFIP Transactions, vol. A-56. North-Holland (1994)"},{"issue":"11","key":"13_CR35","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1145\/1297797.1297815","volume":"50","author":"DL Parnas","year":"2007","unstructured":"Parnas, D.L.: Stop the numbers game. Commun. ACM 50(11), 19\u201321 (2007). Nov","journal-title":"Commun. ACM"},{"key":"13_CR36","unstructured":"Sanitt, N.: Graph theory. In: Science as a Questioning Process, Chap.\u00a03, pp. 31\u201349. Institute of Physics Publishing (1996)"},{"key":"13_CR37","unstructured":"Spivey, J.M.: The Z Notation: A reference manual. Prentice Hall (1989\/1992\/2001). \n                    http:\/\/spivey.oriel.ox.ac.uk\/mike\/zrm\/"},{"key":"13_CR38","unstructured":"Spivey, J.M.: The f\n          uzz type-checker for Z. Technical report, University of Oxford, UK (2008). \n                    http:\/\/spivey.oriel.ox.ac.uk\/mike\/fuzz\/"},{"key":"13_CR39","unstructured":"Van\u00a0Doren, C.: A History of Knowledge: Past, Present, and Future. Ballantine Books (1991)"},{"key":"13_CR40","doi-asserted-by":"crossref","unstructured":"Wenger, E.: Communities of Practice: Learning, Meaning, and Identity. Cambridge University Press, Cambridge (1998)","DOI":"10.1017\/CBO9780511803932"},{"key":"13_CR41","unstructured":"Wenger, E., McDermott, R.A., Snyder, W.: Cultivating Communities of Practice: A guide to managing knowledge. Harvard Business School Press, Massachusetts (2002)"},{"key":"13_CR42","doi-asserted-by":"crossref","unstructured":"Young, W.D.: System verification and the CLI stack. In: Bowen [4], pp. 225\u2013248, appendix A","DOI":"10.1016\/B978-0-444-89901-9.50021-5"},{"issue":"5","key":"13_CR43","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1016\/0020-0190(91)90122-X","volume":"40","author":"C Zhou","year":"1991","unstructured":"Zhou, C., Hoare, C.A.R., Ravn, A.P.: A calculus of durations. Inf. Process. Lett. 40(5), 269\u2013276 (1991). Dec","journal-title":"Inf. Process. Lett."}],"container-title":["NASA Monographs in Systems and Software Engineering","Provably Correct Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-48628-4_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T23:41:45Z","timestamp":1557963705000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-48628-4_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319486277","9783319486284"],"references-count":43,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-48628-4_13","relation":{},"ISSN":["1860-0131","2197-6597"],"issn-type":[{"value":"1860-0131","type":"print"},{"value":"2197-6597","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"2 March 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}