{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,3]],"date-time":"2025-08-03T04:16:11Z","timestamp":1754194571544,"version":"3.40.3"},"publisher-location":"Cham","reference-count":65,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030549961"},{"type":"electronic","value":"9783030549978"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","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":[[2020]]},"DOI":"10.1007\/978-3-030-54997-8_2","type":"book-chapter","created":{"date-parts":[[2020,8,10]],"date-time":"2020-08-10T20:11:50Z","timestamp":1597090310000},"page":"35-53","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["The School of Squiggol"],"prefix":"10.1007","author":[{"given":"Jeremy","family":"Gibbons","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,8,11]]},"reference":[{"issue":"1","key":"2_CR1","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/0022-0000(81)90005-2","volume":"23","author":"R-J Back","year":"1981","unstructured":"Back, R.-J.: On correct refinement of programs. J. Comput. Syst. Sci. 23(1), 49\u201368 (1981)","journal-title":"J. Comput. Syst. Sci."},{"key":"2_CR2","series-title":"Graduate Texts in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-1674-2","volume-title":"Refinement Calculus: A Systematic Introduction","author":"R-J Back","year":"1998","unstructured":"Back, R.-J., von Wright, J.: Refinement Calculus: A Systematic Introduction. Graduate Texts in Computer Science. Springer, Heidelberg (1998). https:\/\/doi.org\/10.1007\/978-1-4612-1674-2"},{"key":"2_CR3","unstructured":"Backhouse, R.: An exploration of the Bird-Meertens formalism. In: International Summer School on Constructive Algorithmics, Hollum, Ameland. STOP project: Also available as Technical report CS 8810, p. 1988. Groningen University, Department of Computer Science (1989)"},{"issue":"1","key":"2_CR4","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/BF01386216","volume":"2","author":"JW Backus","year":"1960","unstructured":"Backus, J.W., et al.: Report on the algorithmic language ALGOL 60. Numer. Math. 2(1), 106\u2013136 (1960)","journal-title":"Numer. Math."},{"issue":"5","key":"2_CR5","first-page":"8","volume":"2","author":"DW Barron","year":"1975","unstructured":"Barron, D.W.: Christopher Strachey: a personal reminiscence. Comput. Bull. 2(5), 8\u20139 (1975)","journal-title":"Comput. Bull."},{"key":"2_CR6","unstructured":"Bauer, F.L.: Programming as an evolutionary process. In: International Conference on Software Engineering, pp. 223\u2013234. IEEE (1976)"},{"key":"2_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-15187-7","volume-title":"The Munich Project CIP, Volume I: The Wide Spectrum Language CIP-L","author":"FL Brauer","year":"1985","unstructured":"Brauer, F.L., et al.: The Munich Project CIP, Volume I: The Wide Spectrum Language CIP-L. LNCS, vol. 183. Springer, Heidelberg (1985). https:\/\/doi.org\/10.1007\/3-540-15187-7"},{"key":"2_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-18779-0","volume-title":"The Munich Project CIP, Volume II: The Programme Transformation System CIP-S","author":"FL Bauer","year":"1987","unstructured":"Bauer, F.L., et al.: The Munich Project CIP, Volume II: The Programme Transformation System CIP-S. LNCS, vol. 292. Springer, Heidelberg (1987). https:\/\/doi.org\/10.1007\/3-540-18779-0"},{"key":"2_CR9","unstructured":"Bird, R.: \u201cAlgebra of Programming\u201d as the textbook on Algorithmics. Private email to JG, February 2020"},{"key":"2_CR10","volume-title":"Algebra of Programming","author":"R Bird","year":"1997","unstructured":"Bird, R., de Moor, O.: Algebra of Programming. Prentice-Hall, Upper Saddle River (1997)"},{"key":"2_CR11","unstructured":"Bird, R., de Moor, O.: Website for The Algebra of Programming (1997). http:\/\/www.cs.ox.ac.uk\/publications\/books\/algebra\/"},{"key":"2_CR12","unstructured":"Bird, R., Meertens, L., Wile, D.: A common basis for algorithmic specification and development. IFIP WG2.1 Working Paper ARK-3 (1985)"},{"key":"2_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1007\/978-3-030-33636-3_6","volume-title":"Mathematics of Program Construction","author":"R Bird","year":"2019","unstructured":"Bird, R., Rabe, F.: How to calculate with nondeterministic functions. In: Hutton, G. (ed.) MPC 2019. LNCS, vol. 11825, pp. 138\u2013154. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-33636-3_6"},{"issue":"11","key":"2_CR14","doi-asserted-by":"publisher","first-page":"856","DOI":"10.1145\/359863.359889","volume":"20","author":"RS Bird","year":"1977","unstructured":"Bird, R.S.: Improving programs by the introduction of recursion. Commun. ACM 20(11), 856\u2013863 (1977)","journal-title":"Commun. ACM"},{"issue":"6","key":"2_CR15","doi-asserted-by":"publisher","first-page":"434","DOI":"10.1145\/359605.359630","volume":"20","author":"RS Bird","year":"1977","unstructured":"Bird, R.S.: Notes on recursion elimination. Commun. ACM 20(6), 434\u2013439 (1977)","journal-title":"Commun. ACM"},{"key":"2_CR16","unstructured":"Bird, R.S.: Notational suggestions for transformational programming. Technical report RCS 144, University of Reading, April 1981"},{"key":"2_CR17","unstructured":"Bird, R.S.: Some notational suggestions for transformational programming. Working Paper NIJ-3, IFIP WG2.1 (1981)"},{"issue":"4","key":"2_CR18","doi-asserted-by":"publisher","first-page":"487","DOI":"10.1145\/1780.1781","volume":"6","author":"RS Bird","year":"1984","unstructured":"Bird, R.S.: The promotion and accumulation strategies in transformational programming. ACM Trans. Program. Lang. Syst. 6(4), 487\u2013504 (1984)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"2_CR19","unstructured":"Bird, R.S.: An introduction to the theory of lists. Monograph PRG-56, Programming Research Group, University of Oxford, October 1986. Published in [27]"},{"key":"2_CR20","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1016\/0167-6423(86)90023-7","volume":"6","author":"RS Bird","year":"1986","unstructured":"Bird, R.S.: Transformational programming and the paragraph problem. Sci. Comput. Program. 6, 159\u2013189 (1986)","journal-title":"Sci. Comput. Program."},{"key":"2_CR21","unstructured":"Bird, R.S.: A calculus of functions for program derivation. Monograph PRG-64, Programming Research Group, University of Oxford, December 1987. Published in [62]"},{"key":"2_CR22","doi-asserted-by":"crossref","unstructured":"Bird, R.S.: Lectures on constructive functional programming. Monograph PRG-69, Programming Research Group, University of Oxford, September 1988. Published in [28]","DOI":"10.1007\/978-3-642-74884-4_5"},{"issue":"2","key":"2_CR23","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1093\/comjnl\/32.2.122","volume":"32","author":"RS Bird","year":"1989","unstructured":"Bird, R.S.: Algebraic identities for program calculation. Comput. J. 32(2), 122\u2013126 (1989)","journal-title":"Comput. J."},{"key":"2_CR24","doi-asserted-by":"crossref","unstructured":"Bird, R.S., Gibbons, J.: Algorithm Design with Haskell. Cambridge University Press, Cambridge (2020, to appear)","DOI":"10.1017\/9781108869041"},{"key":"2_CR25","unstructured":"Bird, R.S., Meertens, L.: Two exercises found in a book on algorithmics. In: Meertens, L. (ed.) Program Specification and Transformation, pp. 451\u2013457. North-Holland (1987)"},{"key":"2_CR26","unstructured":"Boom, H.: Further thoughts on Abstracto. Working Paper ELC-9, IFIP WG2.1 (1981)"},{"key":"2_CR27","series-title":"NATO ASI Series F","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-87374-4","volume-title":"Logic of Programming and Calculi of Discrete Design","year":"1987","unstructured":"Broy, M. (ed.): Logic of Programming and Calculi of Discrete Design. NATO ASI Series F, vol. 36. Springer, Heidelberg (1987). https:\/\/doi.org\/10.1007\/978-3-642-87374-4"},{"key":"2_CR28","series-title":"NATO ASI Series F","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-74884-4","volume-title":"Constructive Methods in Computer Science","year":"1988","unstructured":"Broy, M. (ed.): Constructive Methods in Computer Science. NATO ASI Series F, vol. 55. Springer, Heidelberg (1988). https:\/\/doi.org\/10.1007\/978-3-642-74884-4"},{"key":"2_CR29","unstructured":"de Moor, O.: Categories, relations and dynamic programming. Ph.D. thesis, Programming Research Group, Oxford, April 1992. Available as Technical Monograph PRG-98"},{"key":"2_CR30","unstructured":"Dewar, R.: Letter to members of IFIP WG2.1, 26 July 1977. http:\/\/ershov-arc.iis.nsk.su\/archive\/eaindex.asp?did=29067"},{"key":"2_CR31","unstructured":"Dewar, R.: Letter to members of IFIP WG2.1, 19 September 1979. http:\/\/ershov-arc.iis.nsk.su\/archive\/eaindex.asp?did=29096"},{"key":"2_CR32","series-title":"Mathematical Library","volume-title":"Categories, Allegories","author":"P Freyd","year":"1990","unstructured":"Freyd, P., Scedrov, A.: Categories, Allegories. Mathematical Library, vol. 39. North-Holland, Amsterdam (1990)"},{"key":"2_CR33","unstructured":"Geurts, L., Meertens, L.: Remarks on Abstracto. ALGOL Bull. 42, 56\u201363 (1978). Also in [46]"},{"key":"2_CR34","unstructured":"Geurts, L., Meertens, L., Pemberton, S.: The ABC Programmer\u2019s Handbook. Prentice-Hall, Upper Saddle River (1990). ISBN 0-13-000027-2"},{"key":"2_CR35","unstructured":"Gibbons, J.: Algebras for tree algorithms. D. Phil. thesis, Programming Research Group, Oxford University (1991). Available as Technical Monograph PRG-94. ISBN 0-902928-72-4"},{"key":"2_CR36","doi-asserted-by":"publisher","DOI":"10.1145\/1460833.1460872","volume-title":"A Programming Language","author":"KE Iverson","year":"1962","unstructured":"Iverson, K.E.: A Programming Language. Wiley, New York (1962)"},{"key":"2_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/3-540-62064-8_6","volume-title":"Perspectives of System Informatics","author":"CHA Koster","year":"1996","unstructured":"Koster, C.H.A.: The making of Algol 68. In: Bj\u00f8rner, D., Broy, M., Pottosin, I.V. (eds.) PSI 1996. LNCS, vol. 1181, pp. 55\u201367. Springer, Heidelberg (1996). https:\/\/doi.org\/10.1007\/3-540-62064-8_6"},{"key":"2_CR38","doi-asserted-by":"crossref","unstructured":"Lindsey, C.H.: A history of Algol 68. In: HOPL-II: The Second ACM SIGPLAN Conference on History of Programming Languages, pp. 97\u2013132, April 1993","DOI":"10.1145\/154766.155365"},{"key":"2_CR39","unstructured":"Malcolm, G.: Algebraic data types and program transformation. Ph.D. thesis, Rijksuniversiteit Groningen, September 1990"},{"key":"2_CR40","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1016\/0167-6423(90)90023-7","volume":"14","author":"G Malcolm","year":"1990","unstructured":"Malcolm, G.: Data structures and program transformation. Sci. Comput. Program. 14, 255\u2013279 (1990)","journal-title":"Sci. Comput. Program."},{"key":"2_CR41","doi-asserted-by":"crossref","unstructured":"Meertens, L.: Abstracto 84: the next generation. In: Proceedings of the 1979 Annual Conference, pp. 33\u201339. ACM (1979)","DOI":"10.1145\/800177.810022"},{"key":"2_CR42","unstructured":"Meertens, L.: Draft proposal for the B programming language. Technical report, Mathematisch Centrum, Amsterdam (1981)"},{"key":"2_CR43","unstructured":"Meertens, L.: Issues in the design of a beginners\u2019 programming language. In: de Bakker, J.W., van Vliet, H. (eds.) Algorithmic Languages, pp. 167\u2013184. Elsevier North-Holland, New York, July 1981"},{"key":"2_CR44","unstructured":"Meertens, L.: Some more examples of algorithmic developments. IFIP WG2.1 Working Paper ADP-7 (1984)"},{"key":"2_CR45","unstructured":"Meertens, L.: Algorithmics: towards programming as a mathematical activity. In: de Bakker, J.W., Hazewinkel, M., Lenstra, J.K. (eds.) Proceedings of the CWI Symposium on Mathematics and Computer Science, pp. 289\u2013334. North-Holland (1986). https:\/\/ir.cwi.nl\/pub\/20634"},{"key":"2_CR46","unstructured":"Meertens, L.: An Abstracto reader prepared for IFIP WG 2.1. Technical report CS-N8702, CWI, Amsterdam, April 1987"},{"key":"2_CR47","unstructured":"Meertens, L.: Squiggol versus Squigol. Private email to JG, September 2019"},{"issue":"2","key":"2_CR48","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1145\/988304.988313","volume":"20","author":"LGLT Meertens","year":"1985","unstructured":"Meertens, L.G.L.T., Pemberton, S.: Description of B. SIGPLAN Not. 20(2), 58\u201376 (1985)","journal-title":"SIGPLAN Not."},{"issue":"3","key":"2_CR49","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1145\/44501.44503","volume":"10","author":"C Morgan","year":"1988","unstructured":"Morgan, C.: The specification statement. ACM Trans. Program. Lang. Syst. 10(3), 403\u2013419 (1988)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"2_CR50","volume-title":"Programming from Specifications","author":"C Morgan","year":"1990","unstructured":"Morgan, C.: Programming from Specifications. Prentice Hall, Upper Saddle River (1990)"},{"key":"2_CR51","doi-asserted-by":"crossref","unstructured":"Paige, R.: Transformational programming: applications to algorithms and systems. In: Wright, J.R., Landweber, L., Demers, A.J., Teitelbaum, T. (eds.) Principles of Programming Languages, pp. 73\u201387. ACM (1983)","DOI":"10.1145\/567067.567076"},{"issue":"3","key":"2_CR52","doi-asserted-by":"publisher","first-page":"402","DOI":"10.1145\/357172.357177","volume":"4","author":"R Paige","year":"1982","unstructured":"Paige, R., Koenig, S.: Finite differencing of computable expressions. ACM Trans. Program. Lang. Syst. 4(3), 402\u2013454 (1982)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"2_CR53","volume-title":"Conference on the History of ALGOL 68, volume AM-HN9301","author":"JEL Peck","year":"1993","unstructured":"Peck, J.E.L.: Aad van Wijngaarden and the mathematisch centrum: a personal recollection. In: Alberts, G. (ed.) Conference on the History of ALGOL 68, volume AM-HN9301. CWI, Amsterdam (1993)"},{"issue":"2","key":"2_CR54","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1145\/122179.122180","volume":"26","author":"S Pemberton","year":"1991","unstructured":"Pemberton, S.: A short introduction to the ABC language. SIGPLAN Not. 26(2), 11\u201316 (1991)","journal-title":"SIGPLAN Not."},{"key":"2_CR55","unstructured":"Python Software Foundation. Python website (1997). https:\/\/www.python.org\/"},{"key":"2_CR56","unstructured":"Schuman, S.A. (ed.): New directions in algorithmic languages. Prepared for IFIP Working Group 2.1 on Algol, Institut de Recherche d\u2019Informatique et d\u2019Automatique (1975)"},{"key":"2_CR57","unstructured":"Schuman, S.A. (ed.): New directions in algorithmic languages. Prepared for IFIP Working Group 2.1 on Algol, Institut de Recherche d\u2019Informatique et d\u2019Automatique (1976)"},{"key":"2_CR58","unstructured":"Schwartz, J.T.: On programming: an interim report on the SETL project. Technical report, New York University (1974)"},{"key":"2_CR59","series-title":"Texts and Monographs in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-9575-1","volume-title":"Programming with Sets: An Introduction to SETL","author":"JT Schwartz","year":"1986","unstructured":"Schwartz, J.T., Dewar, R.B.K., Dubinsky, E., Schoenberg, E.: Programming with Sets: An Introduction to SETL. Texts and Monographs in Computer Science. Springer, Heidelberg (1986). https:\/\/doi.org\/10.1007\/978-1-4613-9575-1"},{"key":"2_CR60","unstructured":"Spackman, S.: Boom and Abstracto. Private email to JG, October 2019"},{"key":"2_CR61","unstructured":"Spackman, S., Boom, H.: Foop, poof, and parsing. Working Paper 560 COR-15, IFIP WG2.1 (1987)"},{"key":"2_CR62","unstructured":"Turner, D.A. (ed.): Research Topics in Functional Programming. University of Texas at Austin, Addison-Wesley, Boston (1990)"},{"key":"2_CR63","unstructured":"van Wijngaarden, A., Mailloux, B.J., Peck, J.E.L., Koster, C.H.A.: Report on the algorithmic language ALGOL 68. Numer. Math. 14(2), 79\u2013218 (1969)"},{"key":"2_CR64","doi-asserted-by":"publisher","unstructured":"van Wijngaarden, A., et al.: Revised report on the algorithmic language Algol 68. Acta Inform. 5(1\u20133), 1\u2013236 (1975). https:\/\/doi.org\/10.1007\/BF00265077 . Also appeared as Mathematical Centre Tract 50, CWI, Amsterdam, and published by Springer Verlag in 1976","DOI":"10.1007\/BF00265077"},{"key":"2_CR65","doi-asserted-by":"crossref","unstructured":"Wile, D.S.: A generative, nested-sequential basis for general purpose programming languages. Ph.D. thesis, Department of Computer Science, Carnegie-Mellon University, Pittsburgh, Pennsylvania, November 1973","DOI":"10.1145\/986953.986997"}],"container-title":["Lecture Notes in Computer Science","Formal Methods. FM 2019 International Workshops"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-54997-8_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,11,6]],"date-time":"2022-11-06T12:13:16Z","timestamp":1667736796000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-54997-8_2"}},"subtitle":["A History of the Bird\u2013Meertens Formalism"],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030549961","9783030549978"],"references-count":65,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-54997-8_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"11 August 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Porto","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portugal","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 October 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 October 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fm2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/formalmethods2019.inesctec.pt\/?page_id=84","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","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":"129","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":"44","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":"7","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":"34% - 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":"4","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":"5,5","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":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}